Mail Thread Index
- (0) Semantics Lectures at IBM Yorktown, meyer
- (0) Kripke lambda models, John Mitchell
- (0) well-founded induction, lcp%computer-lab.cambridge.ac.uk
- (0) CCCs of Stable Domains, Paul Taylor
- (0) Feasible Mathematics Workshop, Philip J. Scott
- (0) archives of messages, meyer
- (0) archives of messages, meyer
- (0) archives of messages, Ray Hirschfeld
- (0) CRCT Colloquium, 2/9, Semantic Interpret, Baiba Menke
- (0) set-models of polymorphism, Thierry Coquand
- (0) PENN LOGIC MEETING, Andre Scedrov
- (0) Research Associate In Generic Theorem Pr, lcp%computer-lab.cambridge.ac.uk
- (0) confluence for typed terms, John Mitchell
- (0) Confluence for typed terms, Garrel Pottinger
- (0) Confluence for typed terms, Garrel Pottinger
- (0) Confluence for typed terms, Garrel Pottinger
- (0) confluence for typed terms, Robert Harper
- (0) Confluence and SN property, jean
- (0) typed versus untyped CR proofs, jr.hindley
- (0) LOGIC MEETING UPDATE, Andre Scedrov
- (0) BU colloq/ March 3, pam
- (0) LICS-89, meyer
- (0) Question concerning ideals, Pavel.pa
- (0) A proposed contribution in the types for, Pierre-Louis Curien
- (0) (long) Comments on Wadler's parametric p, meyer
- (0) Subtyping for Recursive Types, James William O'Toole Jr.
- (0) Subtyping for Recursive Types, meyer
- (0) Variants, subtyping, Andre Scedrov
- (0) subtyping and recursion (james@zermatt), John Mitchell
- (0) Implicit Recursion, Andrew Pitts
- (0) Implicit Recursion, Andrew Pitts
- (0) slippery substitutions, jean
- (0) Query: implicit recursion, Nax
- (0) Re: Query: implicit recursion, John Gray
- (0) Types & Strictness (forwarded), Andrew Pitts
- (0) Eta Rules, Andrew Pitts
- (0) Re. Gavin Wraith's message on Types & St, Rishiyur S. Nikhil
- (0) Cobig, Coproduct, and Comma (410 lines), Vaughan Pratt
- (0) Re: Cobig, Coproduct, and Comma, John Gray
- (0) Cobig Comma Pratt, Gavin Wraith
- (0) AMAST Conference program and registratio, Teodor Rus
- (0) Wraith on recursive sums and products, coraki!pratt
- (0) MIT seminar: Ait-Kaci, April 6, meyer
- (0) Argument for less recursion in datatype , Vaughan Pratt
- (0) formal arguments to lambdas in Scheme, meyer
- (0) Further to V.Pratt's reply, Gavin Wraith
- (0) Less recursion in type defs, Stefan Sokolowski
- (0) RE: Plotkin-Statman conjecture, Gordon Plotkin
- (0) implicit recursion, Ryu Hasegawa
- (0) Numeral Systems, David Wolfram
- (0) MFPS special session, Carl Gunter
- (0) MFPS special session, Carl Gunter
- (0) [pam@bu-cs.bu.edu: BU 4/26 colloq], meyer
- (0) Proofs and Types (Girard et al), Paul Taylor
- (0) LICS registration, meyer
- (0) Peter Buneman seminar Friday May 12, MIT, nikhil
- (0) TOC Seminar -- Philippe Le Chenedec -- T, craig
- (0) Computers & Math, Richard Jenks
- (0) Summer school, Philip Wadler
- (0) Summer school: errata, Philip Wadler
- (0) TOC Seminar -- Kurt Sieber -- Tue., June, craig
- (0) Stability and Sequentiality, Paul Taylor
- (0) Stability and Sequentiality, meyer
- (0) A sequential CCC?, Andreas Knobel
- (0) Feasible Math Workshop, Philip J. Scott
- (0) Semantics using ML, John C. Mitchell
- (0) Semantics using ML, Carl Gunter
- (0) Semantics using ML, Paul Hudak
- (0) Semantics using ML, Mitchell Wand
- (0) combinatory license plates, John C. Mitchell
- (0) combinatory license plates, John C. Mitchell
- (0) technical report available, Jon Fairbairn
- (0) Post doc position for work on SML compil, meyer
- (0) semi-unification, Gert Smolka
- (0) Bounded Linear Logic, A. Scedrov & P.J.Scott
- (0) Bounded Linear Logic (Revised Announceme, Phil Scott
- (0) Coherence of Subsumption, Pierre-Louis Curien
- (0) re: Bounded Linear Logic, Paul Taylor
- (0) meyer to plotkin re full-abstraction for, meyer
- (0) Interdefinability of Parallel Operations, Allen Stoughton
- (0) Interdefinability of Parallel Operations, Allen Stoughton
- (0) Sieber's Full-Abstraction for call-by-va, Matthias Felleisen
- (0) call-by-value semantics, etc. (248 lines, Carl Gunter
- (0) Conservative extension by surjective pai, meyer
- (0) LICS '90: Call for Papers, LICS
- (0) LICS '90: Call for Papers, LICS
- (0) Third Logical Biennial Conference, Bulga, meyer
- (0) Completeness Theorem for Typed Lambda-Om, meyer
- (0) lazy lambda calculus references, meyer
- (0) [wand@corwin.ccs.northeastern.edu: [riec, meyer
- (0) Call for Participation: "Types in Logic , meyer
- (0) JCIT, N27%TAUNOS.BITNET
- (0) ML Type-Checking is DEXP-complete, tiuryn
- (0) semi-unification is undecidable, tiuryn
- (0) Journal of Functional Programming, Paul Hudak
- (0) Abstract for "Logic from Computer Scienc, John C. Mitchell
- (0) Program: NACLP'89 Workshop on Types in L, Frank Pfenning
- (0) Call for Papers: 1990 ACM Conf. on Lisp, mitchell wand
- (0) Welcome to SML, Benjamin.Pierce
- (0) MIT TOC Seminar--Jerzy Tiuryn--Tue. Oct., dmjones
- (0) Earthquake, John C. Mitchell
- (0) Semi-Unification and Type Inference, Dr. Hans Leiss
- (0) Undecidable Second-order Type-Scheme Pro, coppo%ITOINFO.BITNET
- (0) MIT TOC Seminar--Harry Mairson--Wed Nov , David M. Jones
- (0) Descriptions, Excluded Middle, and Const, oravax!eurylochus.UUCP!garrel
- (0) The Classification of Continuous Domains, Achim Jung
- (0) type inference - terminology, Uday S. Reddy
- (0) type inference - terminology, Albert R. Meyer
- (0) type inference - terminology, Albert R. Meyer
- (0) Call-by-value (eager) vs. Call-by-name (, John C. Mitchell
- (0) Call-by-value (eager) vs. Call-by-name (, Vaughan Pratt
- (0) non-strict conditional, John C. Mitchell
- (0) Re: Call-by-value (eager) vs. Call-by-na, ap%computer-lab.cambridge.ac.uk
- (0) Call-by-value (eager) vs. Call-by-name (, lcp%computer-lab.cambridge.ac.uk
- (0) Re: Call-by-value (eager) vs. Call-by-na, Paul Taylor
- (0) Call-by-value (eager) vs. Call-by-name (, kim
- (0) conditionals, Robert Harper
- (0) "Proofs & Types" (Girard et al), Paul Taylor