science.types (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise