science.types (date)

science.types (date)

January 28, 2008

Re: Fwd: polymorphic isomorphisms, Philip Wadler
Re: polymorphic isomorphisms, Thorsten Altenkirch
Fwd: polymorphic isomorphisms, Thorsten Altenkirch
Re: Fwd: polymorphic isomorphisms, Paul B Levy

January 25, 2008

Re: Isorecursive types and type abstraction, Stefan Monnier
Re: Isorecursive types and type abstraction, Edsko de Vries
Re: Isorecursive types and type abstraction, Derek Dreyer

January 24, 2008

Re: Types-list post from devriese-aVqd/T0vMsmzQB+pC5nmwQ@xxxxxxxxxxxxxxxx requires approval, Karl Crary
Re: Isorecursive types and type abstraction, Stephanie Weirich
Re: Isorecursive types and type abstraction, Edsko de Vries
Re: Types-list post from devriese-aVqd/T0vMsmzQB+pC5nmwQ@xxxxxxxxxxxxxxxx requires approval, Stephanie Weirich
Isorecursive types and type abstraction, Edsko de Vries
Re: polymorphic isomorphisms, intrwbrwsar-SaMnSzMTH7DR7s880joybQ@xxxxxxxxxxxxxxxx
Re: polymorphic isomorphisms, Thorsten Altenkirch

January 23, 2008

Re: polymorphic isomorphisms, Paul B Levy
polymorphic isomorphisms, Paul B Levy

January 21, 2008

Re: paper on gradual typing with inference, Geoffrey Alan Washburn
Re: paper on gradual typing with inference, David Hopwood

January 18, 2008

Re: paper on gradual typing with inference, Jeremy Siek
[TYPES/announce] Midlands Graduate School 2008, Eike Ritter
Re: paper on gradual typing with inference, Matthias Felleisen
Re: paper on gradual typing with inference, Philip Wadler
Re: paper on gradual typing with inference, Tim Sweeney

January 17, 2008

paper on gradual typing with inference, Jeremy Siek
[TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING, Thorsten Altenkirch

January 14, 2008

[TYPES/announce] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008, Peter Schuster

News | FAQ | advertise