science.types (date)

science.types (date)

March 30, 1989

RE: Plotkin-Statman conjecture, Gordon Plotkin

March 29, 1989

Less recursion in type defs, Stefan Sokolowski

March 28, 1989

Further to V.Pratt's reply, Gavin Wraith

March 23, 1989

formal arguments to lambdas in Scheme, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
Argument for less recursion in datatype definitions, Vaughan Pratt
MIT seminar: Ait-Kaci, April 6, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O

March 22, 1989

Wraith on recursive sums and products, coraki!pratt-xsfywfwIY+M
AMAST Conference program and registration, Teodor Rus

March 21, 1989

Cobig Comma Pratt, Gavin Wraith

March 20, 1989

Re: Cobig, Coproduct, and Comma, John Gray
Cobig, Coproduct, and Comma (410 lines), Vaughan Pratt

March 17, 1989

Re. Gavin Wraith's message on Types & Strictness, Rishiyur S. Nikhil

March 16, 1989

Eta Rules, Andrew Pitts
Types & Strictness (forwarded), Andrew Pitts

March 15, 1989

Re: Query: implicit recursion, John Gray
Query: implicit recursion, Nax
slippery substitutions, jean-9NXzorJndM5sGC4/JZ2XKrK6bRJNSFrb

March 14, 1989

Implicit Recursion, Andrew Pitts
Implicit Recursion, Andrew Pitts

March 13, 1989

subtyping and recursion (james@zermatt), John Mitchell

March 12, 1989

Variants, subtyping, Andre Scedrov

March 11, 1989

Subtyping for Recursive Types, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
Subtyping for Recursive Types, James William O'Toole Jr .

March 05, 1989

(long) Comments on Wadler's parametric polymorphism, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O

March 04, 1989

A proposed contribution in the types forum, Pierre-Louis Curien

March 01, 1989

Question concerning ideals, Pavel . pa-Y/v6x+lg+nkAvxtiuMwx3w

News | FAQ | advertise