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: Fri Dec 19 17:55:55 EDT 2008
Messages: 149

• [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
• [TYPES] Reference to typed first class pattern matching   Michael Lienhardt
  • [TYPES] Reference to typed first class pattern matching   Edsko de Vries
  • [TYPES] Reference to typed first class pattern matching   Matthias Blume
  • [TYPES] Reference to typed first class pattern matching   eduardo at sol.lifia.info.unlp.edu.ar
    • [TYPES] Reference to typed first class pattern matching   Philip Wadler
      • [TYPES] Reference to typed first class pattern matching   Morten Rhiger
• [TYPES] questiuon about strong normalization in untyped lambda-calculus   Andrei Popescu
  • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Robin Adams
    • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Jonathan Seldin
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Tillmann Rendel
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Jonathan Seldin
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Derek Dreyer
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Laurent Regnier
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Laurent Regnier
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Pierre Hyvernat
      • [TYPES] questiuon about strong normalization in untyped lambda-calculus   eduardo at sol.lifia.info.unlp.edu.ar
      • [TYPES] Errata   eduardo at sol.lifia.info.unlp.edu.ar
  • [TYPES] questiuon about strong normalization in untyped lambda-calculus   Mariangiola Dezani
• [TYPES] Reference to typed first class pattern matching   Luigi.Liquori at work
• [TYPES] Looking for a type system   David Rajchenbach-Teller
  • [TYPES] Looking for a type system   Mariangiola Dezani
    • [TYPES] Looking for a type system   David-Sarah Hopwood
      • [TYPES] Looking for a type system   gc at pps.jussieu.fr
      • [TYPES] Looking for a type system   Barry Jay
  • [TYPES] Looking for a type system   David Rajchenbach-Teller
    • [TYPES] Looking for a type system   Joshua Dunfield
• [TYPES] Minimal type reconstruction   Stefan Holdermans
  • [TYPES] Minimal type reconstruction   Josef Svenningsson
  • [TYPES] Minimal type reconstruction   Andrew Kennedy
    • [TYPES] Minimal type reconstruction   Gavin Bierman
  • [TYPES] Minimal type reconstruction   Didier Remy
• [TYPES] Minimal type reconstruction   Stefan Holdermans
• [TYPES] HOAS versus meta reasoning   Andrei Popescu
  • [TYPES] HOAS versus meta reasoning   Andrew Gacek
  • [TYPES] HOAS versus meta reasoning   Karl Crary
  • [TYPES] HOAS versus meta reasoning   Dan Licata
    • [TYPES] HOAS versus meta reasoning   Jonathan Aldrich
    • [TYPES] HOAS versus meta reasoning   Brian Huffman
  • [TYPES] HOAS versus meta reasoning   Marcin Zalewski
  • [TYPES] HOAS versus meta reasoning   Adam Poswolsky
• [TYPES] HOAS versus meta reasoning   Andrei Popescu
  • [TYPES] HOAS versus meta reasoning   Karl Crary
    • [TYPES] HOAS versus meta reasoning   Alexander Kurz
      • [TYPES] HOAS versus meta reasoning   Andrew Pitts
      • [TYPES] HOAS versus meta reasoning   murdoch gabbay
• [TYPES] HOAS versus meta reasoning (Andrew Gacek)   Marino Miculan
• [TYPES] HOAS versus meta reasoning   Andrei Popescu
  • [TYPES] HOAS versus meta reasoning   Dan Licata
  • [TYPES] HOAS versus meta reasoning   Karl Crary
    • [TYPES] HOAS versus meta reasoning   Andrei Popescu
• [TYPES] HOAS versus meta reasoning   Andrei Popescu
• [TYPES] HOAS versus meta reasoning - correction   Andrei Popescu
• [TYPES] Sexual Health Viagra Inc ?   news at health.Pfizer.azn

Last message date: Fri Dec 19 17:55:55 EDT 2008
Archived on: Fri Dec 19 17:56:12 EDT 2008

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