2008 Archives by thread

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

Starting: Wed Jan 16 19:14:12 EDT 2008
Ending: Thu Sep 4 09:13:55 EDT 2008
Messages: 96

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

Last message date: Thu Sep 4 09:13:55 EDT 2008
Archived on: Thu Sep 4 09:15:27 EDT 2008

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