science.types (date)

science.types (date)

August 31, 2007

Re: Encoding of negation, Peter Selinger
Re: Encoding of negation, Peter Selinger

August 29, 2007

Re: Encoding of negation, Philip Wadler

August 27, 2007

Kothe space models of Haghverdi combinators?, Meredith Gregory
[TYPES/announce] CfParticipation: Scheme and FP 2007, Danny Dubé
Re: Encoding of negation, Vladimir Komendantsky
Re: [Fwd: Re: Encoding of negation], Philip Wadler

August 24, 2007

Re: Encoding of negation, Rowan Davies
Re: Encoding of negation, Philip Wadler

August 23, 2007

Re: Encoding of negation, Vladimir Komendantsky

August 21, 2007

Re: Encoding of negation, Burak Emir
Re: Encoding of negation, Carter Tazio Schonwald
Encoding of negation, Philip Wadler

August 20, 2007

Re: implementations of fj (Featherweight Java), Bahman Sistany

August 17, 2007

Re: implementations of fj (Featherweight Java), Matthias Felleisen

August 16, 2007

implementations of fj (Featherweight Java), Bahman Sistany

August 02, 2007

[TYPES/announce] CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07), Demis

News | FAQ | advertise