2010 Archives by date

Messages sorted by: [ thread ] [ subject ] [ author ]
More info on this list...

Starting: Wed Jan 6 08:13:37 EST 2010
Ending: Tue Nov 23 14:17:32 EST 2010
Messages: 90

[TYPES] Implementations using explicit substitutions Carsten Schuermann
[TYPES] Implementations using explicit substitutions Dan Doel
[TYPES] Implementations using explicit substitutions Michael Norrish
[TYPES] Implementations using explicit substitutions Avik Chaudhuri
[TYPES] Implementations using explicit substitutions Alan Jeffrey
[TYPES] Grand Challenge Problems? Purush Iyer
[TYPES] Grand Challenge Problems? Matthias Felleisen
[TYPES] Two-tier reviewing process Andrew Myers
[TYPES] Grand Challenge Problems? Derek Dreyer
[TYPES] Grand Challenge Problems? Purush Iyer
[TYPES] Grand Challenge Problems? KS Sreeram
[TYPES] Grand Challenge Problems? Geoffrey S. Knauth
[TYPES] Grand Challenge Problems? KS Sreeram
[TYPES] Grand Challenge Problems? Derek Dreyer
[TYPES] Grand Challenge Problems? Robert M. Fuhrer
[TYPES] Two-tier reviewing process Michael Hicks
[TYPES] Two-tier reviewing process Simon Peyton-Jones
[TYPES] Grand Challenge Problems? Barry Jay
[TYPES] Two-tier reviewing process Norman Ramsey
[TYPES] Improving the quality of POPL reviews? Norman Ramsey
[TYPES] Two-tier reviewing process Benjamin Pierce
[TYPES] Two-tier reviewing process Stephan Zdancewic
[TYPES] Two-tier reviewing process Philip Wadler
[TYPES] Two-tier reviewing process Matthias Felleisen
[TYPES] Two-tier reviewing process Dan Ghica
[TYPES] Two-tier reviewing process Matthias Felleisen
[TYPES] Two-tier reviewing process Derek Dreyer
[TYPES] Two-tier reviewing process Alan Schmitt
[TYPES] Two-tier reviewing process Kim Bruce
[TYPES] Two-tier reviewing process Mitchell Wand
[TYPES] Two-tier reviewing process Alan Schmitt
[TYPES] Two-tier reviewing process Matthias Felleisen
[TYPES] Two-tier reviewing process Rajeev Alur
[TYPES] Two-tier reviewing process Avik Chaudhuri
[TYPES] Two-tier reviewing process Norman Ramsey
[TYPES] Two-tier reviewing process Norman Ramsey
[TYPES] Two-tier reviewing process Norman Ramsey
[TYPES] Two-tier reviewing process Norman Ramsey
[TYPES] Two-tier reviewing process Vijay Saraswat
[TYPES] Two-tier reviewing process Roberto Di Cosmo
[TYPES] Two-tier reviewing process soloviev at irit.fr
[TYPES] Two-tier reviewing process Alessio Guglielmi
[TYPES] Two-tier reviewing process soloviev at irit.fr
[TYPES] Dealing with conferences for the environment conscious Alessio Guglielmi
[TYPES] Dealing with conferences for the environment conscious Derek Dreyer
[TYPES] Dealing with conferences for the environment conscious Derek Dreyer
[TYPES] voevodsky lecture on type theory and homotopy theory Robert Harper
[TYPES] Very sad news Gordon Plotkin
[TYPES] Conversion elimination lemma for Pure Type Systems? Ahn, Ki Yung
[TYPES] Conversion elimination lemma for Pure Type Systems? Dan Licata
[TYPES] what does a negative proposition represent in type theory? Xuhui Li
[TYPES] what does a negative proposition represent in type theory? Kalani Thielen
[TYPES] what does a negative proposition represent in type theory? Uday S Reddy
[TYPES] what does a negative proposition represent in type theory? Noam Zeilberger
[TYPES] what does a negative proposition represent in type theory? Uday S Reddy
[TYPES] what does a negative proposition represent in type theory? Avik Chaudhuri
[TYPES] what does a negative proposition represent in type theory? Giuseppe Castagna
[TYPES] what does a negative proposition represent in type theory? Noam Zeilberger
[TYPES] Conversion elimination lemma for Pure Type Systems? Randy Pollack
[TYPES] References from TYPES '94 (& surounding documents) François Garillot
[TYPES] seeking correct term for a quasi-dependent type Norman Ramsey
[TYPES] seeking correct term for a quasi-dependent type Tim Sweeney
[TYPES] seeking correct term for a quasi-dependent type J. Garrett Morris
[TYPES] seeking correct term for a quasi-dependent type Dan Doel
[TYPES] seeking correct term for a quasi-dependent type Norman Ramsey
[TYPES] Call for Participation: SICSA Summer School on Formal Reasoning & Representation of Complex Systems Gudmund Grov
[TYPES] lazy evaluation Stephanie Weirich
[TYPES] Not able to define some recursive types in "Fullfomsubref" giacomo90 at libero.it
[TYPES] Not able to define some recursive types in "Fullfomsubref" wagnerdm at seas.upenn.edu
[TYPES] [newbie] is {initial, terminal} object the identity for {coproduct, product}? Larry Evans
[TYPES] [newbie] is {initial, terminal} object the identity for {coproduct, product}? wagnerdm at seas.upenn.edu
[TYPES] Range Property for H Andrew Polonsky
[TYPES] [newbie] is {initial, terminal} object the identity for {coproduct, product}? Andreas Abel
[TYPES] OT: Peer-review in a world with rational scientists M.C.A. (Marco) Devillers
[TYPES] Replacement lemma Sunil Kothari
[TYPES] OT: Peer-review in a world with rational scientists Dr. Claus-Peter Wirth
[TYPES] OT: Peer-review in a world with rational scientists Peter Selinger
[TYPES] how to typing for logic equality operator 朱常鹏
[TYPES] how to typing for logic equality operator wagnerdm at seas.upenn.edu
[TYPES] how to typing for logic equality operator Derek Dreyer
[TYPES] how to typing for logic equality operator Tillmann Rendel
[TYPES] how to typing for logic equality operator Philip Wadler
[TYPES] how to typing for logic equality operator Klaus Ostermann
[TYPES] how to typing for logic equality operator Klaus Ostermann
[TYPES] how to typing for logic equality operator Matthias Felleisen
[TYPES] how to typing for logic equality operator Philip Wadler
[TYPES] how to typing for logic equality operator‏ Moez A. Abdel-Gawad
[TYPES] how to typing for logic equality operator Derek Dreyer
[TYPES] [a tad off-topic] functional programming for middle schools, typed or not? Matthias Felleisen
[TYPES] Scott and De Bakker's "A Theory of Programs" Christopher L Conway

Last message date: Tue Nov 23 14:17:32 EST 2010
Archived on: Tue Nov 23 19:43:21 EST 2010

Messages sorted by: [ thread ] [ subject ] [ author ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).