Mail Thread Index

Main Index

(0) [bemus@THEORY.LCS.MIT.EDU: TOC Seminar -, Albert R. Meyer
(0) [goguen@csl.sri.com: higher order functi, Albert R. Meyer
(0) POPL Preview, David K. Gifford
(0) L-domains, Paul Taylor
(0) [NIKHIL@XX.LCS.MIT.EDU: Miranda availabl, Albert R. Meyer
(0) [mcvax!doc.ic.ac.uk!chlo@uunet.UU.NET: A, Albert R. Meyer
(0) [NIKHIL@XX.LCS.MIT.EDU: Your comments re, Albert R. Meyer
(0) visiting professorship, John Mitchell
(0) Administrative Email to (Internet): type, Albert R. Meyer
(0) [mcvax!poincare.crin.fr!lescanne@uunet.U, Albert R. Meyer
(0) mailing lists on narrowing, termination , goguen
(0) [rmb%bu-cs.bu.edu@bu-it.BU.EDU: BU collo, Albert R. Meyer
(0) consistency proof, Giuseppe.Longo
(0) 1988 FOCS, John Mitchell
(0) theory news circulation, Albert R. Meyer
(0) [mcvax!doc.ic.ac.uk!pt@uunet.UU.NET: Re:, Albert R. Meyer
(0) [nachum@humus.Huji.AC.IL: RTA-89 ANNOUNC, Albert R. Meyer
(0) hello, meyer
(0) Corrigendum (LICS 87 paper), mitchell wand
(0) talk by Henk Barendregt, Natalie F. Tarbet
(0) [menke@harvard.harvard.edu: Colloquium A, Albert R. Meyer
(0) local distribution setup at uiuc, Albert R. Meyer
(0) local distribution setup at uiuc, Timothy Kraus
(0) [NIKHIL@XX.LCS.MIT.EDU: [gtl@electron.lc, Albert R. Meyer
(0) [NFT@XX.LCS.MIT.EDU: Banrendregt's visit, Albert R. Meyer
(0) [ARVIND@XX.LCS.MIT.EDU: Barendregt], Albert R. Meyer
(0) [main@boulder.Colorado.EDU: Re: beyond , Albert R. Meyer
(0) Continuations may be unreasonable, Jon Riecke
(0) Continuations may be unreasonable, Jon Riecke
(0) ?, Albert R. Meyer
(0) [CFJ@XX.LCS.MIT.EDU: Friday's meeting], Albert R. Meyer
(0) contextual full abstraction, Albert R. Meyer
(0) Correspondence on continuity and monoton, Vaughan Pratt
(0) [agha-gul@YALE.ARPA: CFP for newsgroup ], Albert R. Meyer
(0) reasoning about continuations (195 lines, Albert R. Meyer
(0) typed versus untyped, Albert R. Meyer
(0) Re: typed versus untyped, gtl
(0) typed versus untyped, John Mitchell
(0) Your counterexample, Mitchell Wand
(0) CPS-conversion and reasoning, Jon Riecke
(0) Your counterexample: Why Reason About Co, Albert R. Meyer
(0) new results on polymorphism, Jose Meseguer
(0) No Subject, DEZANI%ITOINFO.BITNET%IBOINFN.BITNET
(0) [Giuseppe.Longo@THEORY.CS.CMU.EDU: Re: t, Albert R. Meyer
(0) Preliminary Program for 4th MFPS Worksho, Michael Main
(0) Logic at Botik '89 -- Call for Papers, Albert R. Meyer
(0) 313 lines about full abstraction from St, Albert R. Meyer
(0) Plotkin on Meyer-Reicke paper on Continu, Albert R. Meyer
(0) [meyer: full abstraction], Albert R. Meyer
(0) Girard in translation, Paul Taylor
(0) [meyer: full abstraction], meyer
(0) Complexity of ML typing, John Mitchell
(0) Logical Relations, gtl
(0) typing in ML+, kfoury%bu-cs.bu.edu
(0) a question on type-free objs, Giuseppe.Longo
(0) Re: typing in ML+, Purandar Bhaduri
(0) Re: typing in ML+, Fritz Henglein
(0) Wednesday June 1 Seminar, Bard Bloom
(0) [sieber: denotational versus operational, Kurt Sieber
(0) [kathy@TIDE.LCS.MIT.EDU: practice talk], Albert R. Meyer
(0) type inference in ML+, Fritz Henglein
(0) Re: Logical Relations, John Mitchell
(0) complexity of ML typing, John Mitchell
(0) terminology, John Mitchell
(0) composition of logical relations, John Mitchell
(0) Extending Reynolds, Andrew Pitts
(0) denotational versus operational semantic, Kurt Sieber
(0) denotational versus operational semantic, Kurt Sieber
(0) No Subject, Fer-Jan de Vries
(0) [matthias@rice.edu: denotational versus , Albert R. Meyer
(0) [hudak-paul@YALE.ARPA: Operational vs. D, Albert R. Meyer
(0) No Subject, majrh
(0) Natural Deduction vs. Sequenzen systems, Mitchell Wand
(0) specification logic and call by name, rdt%QUCIS.BITNET
(0) No Subject, majrh
(0) denotational versus operational semantic, Uday S. Reddy
(0) Seminar announcement, Jon Riecke
(0) Church-Rosser for typed systems, Bard Bloom
(0) Church-Rosser for typed systems, John Mitchell
(0) Church-Rosser for typed systems, Val Breazu-Tannen
(0) Re: Church-Rosser for typed systems, John Mitchell
(0) specification logic and call by name, Kurt Sieber
(0) Re: Bard's message on subtypes, kim
(0) Re: specification logic and call by nam, rdt%QUCIS.BITNET
(0) typed eta reduction, Bard Bloom
(0) typed eta reduction, Vaughan Pratt
(0) Re: specification logic, rdt%QUCIS.BITNET
(0) Re: typed eta reduction, Vaughan Pratt
(0) Seminar announcement, Mitchell Wand
(0) typed eta reduction, subtypes, etc., John Mitchell
(0) Type inference and implicit conversions, Frank J. Oles
(0) Church-Rosser for typed systems, Axel Poigne
(0) eta rule, Gerard Huet
(0) Reading seminar in logic -- meeting next, Jon Riecke
(0) specification logic, intuitionistic logi, Kurt Sieber
(0) specification logic, intuitionistic logi, Kurt Sieber
(0) Re: specification logic, intuitionistic, rdt%QUCIS.BITNET
(0) [XMATdb5r%DDATHD21.BITNET@MITVMA.MIT.EDU, Albert R. Meyer
(0) [XMATdb5r%DDATHD21.BITNET@MITVMA.MIT.EDU, Albert R. Meyer
(0) comp adequacy and soundness, ohearn%QUCIS.BITNET
(0) Request!, Teodor Rus
(0) First meeting, Mitchell Wand
(0) [riecke@THEORY.LCS.MIT.EDU: Counterexamp, Jon Riecke
(0) Polymorphic Type Inference, Frank Pfenning
(0) talk for Logic Colloq '88, John Mitchell
(0) Schedule, Mitchell Wand
(0) Lewerentz, Tues, 7/5, Mitchell Wand
(0) Logic colloq '88, Corrado Boehm
(0) Danvy M 7/18, 1200, Mitchell Wand
(0) Consel T 7/19, 1200, Mitchell Wand
(0) OBJ3 Release, goguen
(0) NO ADDRESS CHANGE, Albert R. Meyer
(0) August Schedule, Mitchell Wand
(0) Stable Categories form a CCC, Albert R. Meyer
(0) Inconsistencies in Cartesian Closed Cate, Albert R. Meyer
(0) [david%unix.computer-science.manchester., Albert R. Meyer
(0) [wand%corwin.ccs.northeastern.edu@RELAY., types
(0) Professorships in Italy, mcvax!dipisa!longo
(0) Mitchell's problem, gray
(0) inheritance, coercions and polymorphism, Val Breazu-Tannen
(0) talk at MIT: Curtis `Strong Typing in Sc, meyer
(0) Upcoming Schedule, Mitchell Wand
(0) type theory and practice, John Mitchell
(0) new course at Stanford, John Mitchell
(0) Re: new course at Stanford, Garrel Pottinger
(0) type theory and practice, Matthias Felleisen
(0) [bard@theory.LCS.MIT.EDU: Pavel's addres, meyer
(0) Polymorphism and side effects, Mads Tofte
(0) teach untyped lambda calculus?, John Mitchell
(0) teach untyped lambda calculus?, Matthias Felleisen
(0) comments on my course outline, John Mitchell
(0) teach untyped lambda calculus?, Matthias Felleisen
(0) types and pedagogy, Carl Gunter
(0) Reading seminar on semantics, bemus
(0) Upcoming seminar next week, bemus
(0) Re: comments on my course outline, kfoury%bu-cs.BU.EDU
(0) Re: teach untyped lambda calculus?, John Mitchell
(0) Hoare logic and lambda calculus, rdt%QUCIS.BITNET
(0) Un/typed lambda calculus, Bob Harper (LFCS)
(0) No Subject, Baiba Menke
(0) Lecture on MetaLisp, pam%bu-cs.BU.EDU
(0) who am I?, rdt%QUCIS.BITNET
(0) Polymorphism for predicate logic program, Uday S. Reddy
(0) teaching Hoare logic, Steven M. German
(0) Futamura @ Harvard Th 10/13, wand%corwin.ccs.northeastern.edu
(0) typed versus untyped/didactic versus log, jr.hindley
(0) LICS submission deadline extended, RIPBC%CUNYVM.BITNET
(0) Anybody have a copy of Mycroft's thesis?, mbr
(0) bounded quantification and record-update, rdt%QUCIS.BITNET
(0) Re: bounded quantification and record-u, kim
(0) bounded quantification and record-update, Mitchell Wand
(0) Re: bounded quantification and record-u, Hans Boehm
(0) the Robinson-Tennent coercion, Satish Thatte
(0) Re: Orphaned Response, Ralph Johnson
(0) the number of types in PER, epr%QUCIS.BITNET
(0) data types and initiality, John Mitchell
(0) data types and initiality, Tobias Nipkow
(0) Re: data types and initiality, Satish Thatte
(0) data types and initiality, meyer
(0) Observational equiv., John Guttag
(0) ADTs - In reply to Albert's note, meyer
(0) data types and initiality, meyer
(0) Re: initial algebras, John Mitchell
(0) initiality, etc., John Mitchell
(0) initial algebras, Tobias Nipkow
(0) Re: data types and initiality, Joe Fasel
(0) Impl. correctness for alg. spec.'s, Sam Kamin
(0) Re: data types and initiality, Joe Fasel
(0) data types and initiality, Vaughan Pratt
(0) Implementation. correctness etc, Carolyn Talcott
(0) Penultimate algebras, Vaughan Pratt
(0) data types and initiality, Don Sannella
(0) Re: initiality, etc., Don Sannella
(0) EQPARITY, Vaughan Pratt
(0) Pratt's latest example, Satish Thatte
(0) Wand on final algebra semantics, coraki!pratt
(0) Re: Wand on final algebra semantics, coraki!pratt
(0) Re: Wand on final algebra semantics, coraki!pratt
(0) Pratt's conjectures, Satish Thatte
(0) More on Pratt's conjectures, Satish Thatte
(0) final algebras, Vaughan Pratt