science.types (thread)

RE: Plotkin-Statman conjecture, Gordon Plotkin
Less recursion in type defs, Stefan Sokolowski
Further to V.Pratt's reply, Gavin Wraith
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
Wraith on recursive sums and products, coraki!pratt-xsfywfwIY+M
AMAST Conference program and registration, Teodor Rus
Cobig Comma Pratt, Gavin Wraith
Re: Cobig, Coproduct, and Comma, John Gray
Cobig, Coproduct, and Comma (410 lines), Vaughan Pratt
Re. Gavin Wraith's message on Types & Strictness, Rishiyur S. Nikhil
Eta Rules, Andrew Pitts
Types & Strictness (forwarded), Andrew Pitts
Query: implicit recursion, Nax
- Re: Query: implicit recursion, John Gray
slippery substitutions, jean-9NXzorJndM5sGC4/JZ2XKrK6bRJNSFrb
Implicit Recursion, Andrew Pitts
- Implicit Recursion, Andrew Pitts
subtyping and recursion (james@zermatt), John Mitchell
Variants, subtyping, Andre Scedrov
Subtyping for Recursive Types, James William O'Toole Jr .
- Subtyping for Recursive Types, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
(long) Comments on Wadler's parametric polymorphism, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
A proposed contribution in the types forum, Pierre-Louis Curien
Question concerning ideals, Pavel . pa-Y/v6x+lg+nkAvxtiuMwx3w