science.types (thread)

Lambda calculus with callcc and Moggi's monadic metalanguage, emakarov
[TYPES/announce] [isabelle] Junior researcher position at TU Berlin, Florian Kammueller
[TYPES/announce] Paper: Revealing the X/O impedance mismatch, Ralf Lammel
a summary of the responses to my question on `quote', Thomas Streicher
semantics of `quote', Thomas Streicher
- Re: semantics of `quote', Tim Sweeney
- Re: semantics of `quote', Uday Reddy
[TYPES/announce] Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06), Santiago Escobar
[TYPES/announce] Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS, Computer Science Logic '06 Conference
[TYPES/announce] Preliminary program for LCC'06, James S. Royer
[TYPES/announce] SOS 2006 - Programme and Call for Participation, Rob van Glabbeek
Systematically testing type systems, Klaus Ostermann
- Re: Systematically testing type systems, Matthias Felleisen
- Re: Systematically testing type systems, James Cheney
- Re: Systematically testing type systems, David Hopwood
[TYPES/announce] SSS 2006 ---- Deadline extended to July 12, Maria Gradinariu
[TYPES/announce] Symposium for Gordon Plotkin: Call for Participation, Alex Simpson
[TYPES/announce] The AVISPA Tool - v1.1, Laurent.Vigneron-/zGXu1G9BXs