science.types (date)

science.types (date)

March 30, 2006

Definable programs in type theories, Yong Luo

March 23, 2006

Re: Eliminators in type theory, Yong Luo

March 22, 2006

Expressivity of primitive recursion (was: Eliminators in type theory), Simone Martini

March 21, 2006

Re: SML# alpha release, Greg Morrisett
[TYPES/announce] Postdoc position at INRIA Rhône-Alpes, Alan Schmitt
Re: SML# alpha release, Ian Zimmerman

March 20, 2006

Re: Eliminators in type theory, Sergei SOLOVIEV
SML# alpha release, Atsushi Ohori
Re: Eliminators in type theory, Jonathan P. Seldin

March 17, 2006

Oops, Jonathan Seldin
Re: Eliminators in type theory, Jonathan Seldin
Re: Eliminators in type theory, Ulrich Berger
Re: Eliminators in type theory, Andreas Abel
Re: Eliminators in type theory, Andreas Abel
Re: Eliminators in type theory, Yong Luo
Re: Eliminators in type theory, Thorsten Altenkirch

March 16, 2006

Eliminators in type theory, Yong Luo
[TYPES/announce] 4th workshop on Quantum Programming Languages, Peter Selinger

March 15, 2006

[TYPES/announce] CFP: Internatinational Workshop on Software Verification and Validation, Zijiang (James) Yang

March 13, 2006

[TYPES/announce] Three Research Positions - Foundations of Distributed Computation, Peter Sewell

March 09, 2006

Re: Query: Types for post-development analysis?, Michael Hicks
Re: Query: Types for post-development analysis?, Michael Anthony Smith

March 08, 2006

[TYPES/announce] Final Call for Talks: TYPES 2006 workshop, Thorsten Altenkirch
Query: Types for post-development analysis?, Michael Anthony Smith

March 07, 2006

[TYPES/announce] Call for Posters - ICLP 2006 - Deadline: March, 14, A Serebrenik

News | FAQ | advertise