2015 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Jan 21 07:42:55 EST 2015
Ending: Fri Dec 18 20:57:21 EST 2015
Messages: 44

• [TYPES] [Coq-Club] Gentzen proof and Kantor ordering   Neelakantan Krishnaswami
• [TYPES] [Coq-Club] Gentzen proof and Kantor ordering   Freek Wiedijk
• [TYPES] Basic principal type terminology   Sean McDirmid
• [TYPES] Basic principal type terminology   Gabriel Scherer
• [TYPES] Basic principal type terminology   Sean McDirmid
• [TYPES] Basic principal type terminology   Andreas Rossberg
• [TYPES] completeness of type inference for stateful ML   Ramana Kumar
• [TYPES] Fwd: When types appeared in programming languages   PATRICK BROWNE
• [TYPES] Gentzen proof and Kantor ordering   Vladimir Voevodsky
• [TYPES] Gentzen proof and Kantor ordering   Martin Escardo
• [TYPES] Gentzen proof and Kantor ordering   Thomas Streicher
• [TYPES] I'm searching for a survey on type system feature combinations   hgualandi at inf.puc-rio.br
• [TYPES] I'm searching for a survey on type system feature combinations   Gabriel Scherer
• [TYPES] I'm searching for a survey on type system feature combinations   hgualandi at inf.puc-rio.br
• [TYPES] I'm searching for a survey on type system feature combinations   Peter Sewell
• [TYPES] I'm searching for a survey on type system feature combinations   Michael Greenberg
• [TYPES] I'm searching for a survey on type system feature combinations   Matthias Felleisen
• [TYPES] I'm searching for a survey on type system feature combinations   hgualandi at inf.puc-rio.br
• [TYPES] I'm searching for a survey on type system feature combinations   Gabriel Scherer
• [TYPES] I'm searching for a survey on type system feature combinations   Matthias Felleisen
• [TYPES] I'm searching for a survey on type system feature combinations   Jeremy Siek
• [TYPES] I'm searching for a survey on type system feature combinations   Derek Dreyer
• [TYPES] I'm searching for a survey on type system feature combinations   Neelakantan Krishnaswami
• [TYPES] I'm searching for a survey on type system feature combinations   Giuseppe Castagna
• [TYPES] Localizing Hypotheses?   Gershom B
• [TYPES] Localizing Hypotheses?   Gabriel Scherer
• [TYPES] Localizing Hypotheses?   Frank Pfenning
• [TYPES] Looking for concurrent imperative core Java calculi   Antonio Ravara
• [TYPES] Looking for concurrent imperative core Java calculi   Gabriel Scherer
• [TYPES] Looking for concurrent imperative core Java calculi   Aleks Kissinger
• [TYPES] Looking for concurrent imperative core Java calculi   Massimo Merro
• [TYPES] Looking for concurrent imperative core Java calculi   Rosu, Grigore
• [TYPES] mechanized formalizations of the pi calculus   James Cheney
• [TYPES] mechanized formalizations of the pi calculus   James Cheney
• [TYPES] Postdoc positions and lectureships in Swansea (suitable for type theoretists; deadlines 22/12/15 and 5/1/16)   Anton Setzer
• [TYPES] RFC: ARF - An interprocedural flow-based type checker   David Foster
• [TYPES] RFC: ARF - An interprocedural flow-based type checker   Gabriel Scherer
• [TYPES] RFC: ARF - An interprocedural flow-based type checker   Francois Pottier
• [TYPES] RFC: ARF - An interprocedural flow-based type checker   hgualandi at inf.puc-rio.br
• [TYPES] RFC: ARF - An interprocedural flow-based type checker   David Foster
• [TYPES] statistics about information-flow programming errors?   Andrei Popescu
• [TYPES] Utrecht Workshop on Proof Theory   Iemhoff, R. (Rosalie)
• [TYPES] When types appeared in programming languages   Simone Martini
• [TYPES] When types appeared in programming languages   Simone Martini

Last message date: Fri Dec 18 20:57:21 EST 2015
Archived on: Mon Dec 21 04:30:41 EST 2015

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...