2008 Archives by author

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

Starting: Wed Jan 16 19:14:12 EDT 2008
Ending: Thu Jul 24 21:23:10 EDT 2008
Messages: 91

• [TYPES] Y-combinator in Type:Type?   Andreas Abel
• [TYPES] SN for System F with countable universe of types?   Andreas Abel
• [TYPES] polymorphic isomorphisms   Thorsten Altenkirch
• [TYPES] Fwd: polymorphic isomorphisms   Thorsten Altenkirch
• [TYPES] polymorphic isomorphisms   Thorsten Altenkirch
• [TYPES] Y-combinator in Type:Type?   Thorsten Altenkirch
• [TYPES] Y-combinator in Type:Type?   Thorsten Altenkirch
• [TYPES] Universe Polymorphism   Thorsten Altenkirch
• [TYPES] Universe Polymorphism   Thorsten Altenkirch
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Steffen van Bakel
• [TYPES] analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints   Gerard Boudol
• [TYPES] Paper announcement   Felice Cardone
• [TYPES] Historical question: origin of the ":" symbol   Ezra Cooper
• [TYPES] Types-list post from devriese@cs.tcd.ie requires approval   Karl Crary
• [TYPES] Y-combinator in Type:Type?   Karl Crary
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Rowan Davies
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Mariangiola Dezani
• [TYPES] Isorecursive types and type abstraction   Derek Dreyer
• [TYPES] Object-oriented calculi   Carl Eastlund
• [TYPES] paper on gradual typing with inference   Matthias Felleisen
• [TYPES] Equational correspondence and equational embedding   Matthias Felleisen
• [TYPES] analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints   Matthias Felleisen
• [TYPES] Fwd: Revenue-neutral Adjustment for Functional Programming   Matthias Felleisen
• [TYPES] Y-combinator in Type:Type?   Herman Geuvers
• [TYPES] Question about the polymorphic lambda calculus   Herman Geuvers
• [TYPES] Universe Polymorphism   Sebastian Hanowski
• [TYPES] focusing on binding and computation   Robert Harper
• [TYPES] Universe Polymorphism   Stefan Holdermans
• [TYPES] paper on gradual typing with inference   David Hopwood
• [TYPES] ordering lemmas about powerdomain operations   Brian Huffman
• [TYPES] ordering lemmas about powerdomain operations   Brian Huffman
• [TYPES] Y-combinator in Type:Type?   Pierre Hyvernat
• [TYPES] SN for System F with countable universe of types?   Pierre Hyvernat
• [TYPES] Question about the polymorphic lambda calculus   Samuel E. Moelius III
• [TYPES] Question about the polymorphic lambda calculus   Samuel E. Moelius III
• [TYPES] Question about the polymorphic lambda calculus   Samuel E. Moelius III
• [TYPES] Paper announcement: Intersection types à la Church   Luigi Liquori INRIA
• [TYPES] Universe Polymorphism   Xavier Leroy
• [TYPES] polymorphic isomorphisms   Paul B Levy
• [TYPES] polymorphic isomorphisms   Paul B Levy
• [TYPES] Fwd: polymorphic isomorphisms   Paul B Levy
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Paul B Levy
• [TYPES] connectedness and acyclicity in IMLL proof nets   Satoshi Matsuoka
• [TYPES] Confluence of combinatory strong reduction   Pierluigi Minari
• [TYPES] Isorecursive types and type abstraction   Stefan Monnier
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   NOREPLY
• [TYPES] Universe Polymorphism   Klaus Ostermann
• [TYPES] connectedness and acyclicity in IMLL proof nets   Aurelien Pardon
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Benjamin Pierce
• [TYPES] the polymorphic lambda calculus - A related question concerning its uniformity   Andrei Popescu
• [TYPES] analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints   Francois Pottier
• [TYPES] Y-combinator in Type:Type?   Francois Pottier
• [TYPES] Historical question: origin of the ":" symbol   Uday S Reddy
• [TYPES] analogy between Felleisen's syntactic theories of state andHindley-Milner constraints   Claus Reinke
• [TYPES] Question about the polymorphic lambda calculus   Miles Sabin
• [TYPES] Y-combinator in Type:Type?   Jonathan P. Seldin
• [TYPES] paper on gradual typing with inference   Jeremy Siek
• [TYPES] paper on gradual typing with inference   Jeremy Siek
• [TYPES] analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints   Jeremy Siek
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Dan Smith
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Dan Smith
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Dan Smith
• [TYPES] my habilitation thesis available on the net   Thomas Streicher
• [TYPES] Y-combinator in Type:Type?   Thomas Streicher
• [TYPES] paper on gradual typing with inference   Tim Sweeney
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Tim Sweeney
• [TYPES] Object-oriented calculi   David Teller
• [TYPES] Isorecursive types and type abstraction   Edsko de Vries
• [TYPES] Isorecursive types and type abstraction   Edsko de Vries
• [TYPES] Isorecursive types and type abstraction   Edsko de Vries
• [TYPES] Y-combinator in Type:Type?   Edsko de Vries
• [TYPES] Y-combinator in Type:Type?   Edsko de Vries
• [TYPES] Historical question: origin of the ":" symbol   Edsko de Vries
• [TYPES] \lambda 2 a subset of System F?   Edsko de Vries
• [TYPES] paper on gradual typing with inference   Philip Wadler
• [TYPES] Fwd: polymorphic isomorphisms   Philip Wadler
• [TYPES] Equational correspondence and equational embedding   Philip Wadler
• [TYPES] paper on gradual typing with inference   Geoffrey Alan Washburn
• [TYPES] Types-list post from devriese@cs.tcd.ie requires approval   Stephanie Weirich
• [TYPES] Isorecursive types and type abstraction   Stephanie Weirich
• [TYPES] Object-oriented calculi   Daniel Yokomizo
• [TYPES] Object-oriented calculi   Daniel Yokomizo
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   Noam Zeilberger
• [TYPES] Question about the polymorphic lambda calculus   Noam Zeilberger
• [TYPES] Question about the polymorphic lambda calculus   Noam Zeilberger
• [TYPES] Question about the polymorphic lambda calculus   Noam Zeilberger
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   gc at pps.jussieu.fr
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   gc at pps.jussieu.fr
• [TYPES] Formal treatment of intersection/union/arrow subtyping?   gc at pps.jussieu.fr
• [TYPES] polymorphic isomorphisms   intrwbrwsar at netzero.net
• [TYPES] connectedness and acyclicity in IMLL proof nets   soloviev at irit.fr

Last message date: Thu Jul 24 21:23:10 EDT 2008
Archived on: Fri Jul 25 14:00:11 EDT 2008

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