science.types (date)

science.types (date)

July 24, 2006

Lambda calculus with callcc and Moggi's monadic metalanguage, emakarov

July 21, 2006

[TYPES/announce] [isabelle] Junior researcher position at TU Berlin, Florian Kammueller

July 19, 2006

[TYPES/announce] Paper: Revealing the X/O impedance mismatch, Ralf Lammel

July 18, 2006

a summary of the responses to my question on `quote', Thomas Streicher

July 15, 2006

Re: semantics of `quote', Uday Reddy

July 14, 2006

Re: semantics of `quote', Tim Sweeney
semantics of `quote', Thomas Streicher

July 12, 2006

[TYPES/announce] Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06), Santiago Escobar

July 11, 2006

[TYPES/announce] Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS, Computer Science Logic '06 Conference

July 09, 2006

[TYPES/announce] Preliminary program for LCC'06, James S. Royer

July 06, 2006

[TYPES/announce] SOS 2006 - Programme and Call for Participation, Rob van Glabbeek

July 05, 2006

Re: Systematically testing type systems, David Hopwood
Re: Systematically testing type systems, James Cheney
Re: Systematically testing type systems, Matthias Felleisen
Systematically testing type systems, Klaus Ostermann
[TYPES/announce] SSS 2006 ---- Deadline extended to July 12, Maria Gradinariu
[TYPES/announce] Symposium for Gordon Plotkin: Call for Participation, Alex Simpson

July 01, 2006

[TYPES/announce] The AVISPA Tool - v1.1, Laurent.Vigneron-/zGXu1G9BXs

News | FAQ | advertise