2008 Archives by subject

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

Starting: Wed Jan 16 19:14:12 EDT 2008
Ending: Thu Sep 11 05:23:22 EDT 2008
Messages: 101

[TYPES] \lambda 2 a subset of System F? Edsko de Vries
[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 andHindley-Milner constraints Claus Reinke
[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 Gerard Boudol
[TYPES] Confluence of combinatory strong reduction Pierluigi Minari
[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] Equational correspondence and equational embedding Philip Wadler
[TYPES] Equational correspondence and equational embedding Matthias Felleisen
[TYPES] focusing on binding and computation Robert Harper
[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? NOREPLY
[TYPES] Formal treatment of intersection/union/arrow subtyping? Noam Zeilberger
[TYPES] Formal treatment of intersection/union/arrow subtyping? Dan Smith
[TYPES] Formal treatment of intersection/union/arrow subtyping? Paul B Levy
[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? Rowan Davies
[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? Steffen van Bakel
[TYPES] Formal treatment of intersection/union/arrow subtyping? Tim Sweeney
[TYPES] Formal treatment of intersection/union/arrow subtyping? gc at pps.jussieu.fr
[TYPES] Fwd: polymorphic isomorphisms Thorsten Altenkirch
[TYPES] Fwd: polymorphic isomorphisms Paul B Levy
[TYPES] Fwd: polymorphic isomorphisms Philip Wadler
[TYPES] Fwd: Revenue-neutral Adjustment for Functional Programming Matthias Felleisen
[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] Isorecursive types and type abstraction Edsko de Vries
[TYPES] Isorecursive types and type abstraction Edsko de Vries
[TYPES] Isorecursive types and type abstraction Stephanie Weirich
[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] my habilitation thesis available on the net Thomas Streicher
[TYPES] New book/please advertise on Types List Michel Schellekens
[TYPES] Object-oriented calculi Daniel Yokomizo
[TYPES] Object-oriented calculi Daniel Yokomizo
[TYPES] Object-oriented calculi David Teller
[TYPES] Object-oriented calculi Carl Eastlund
[TYPES] ordering lemmas about powerdomain operations Brian Huffman
[TYPES] ordering lemmas about powerdomain operations Brian Huffman
[TYPES] Paper announcement Felice Cardone
[TYPES] Paper announcement: Intersection types à la Church Luigi Liquori INRIA
[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 Philip Wadler
[TYPES] paper on gradual typing with inference Jeremy Siek
[TYPES] paper on gradual typing with inference David Hopwood
[TYPES] paper on gradual typing with inference Geoffrey Alan Washburn
[TYPES] polymorphic isomorphisms Paul B Levy
[TYPES] polymorphic isomorphisms Paul B Levy
[TYPES] polymorphic isomorphisms Thorsten Altenkirch
[TYPES] polymorphic isomorphisms intrwbrwsar at netzero.net
[TYPES] polymorphic isomorphisms Thorsten Altenkirch
[TYPES] POPL logo design contest Swarat Chaudhuri
[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 Miles Sabin
[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 Herman Geuvers
[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] SN for System F with countable universe of types? Andreas Abel
[TYPES] SN for System F with countable universe of types? Pierre Hyvernat
[TYPES] the polymorphic lambda calculus - A related question concerning its uniformity Andrei Popescu
[TYPES] Types-list post from devriese@cs.tcd.ie requires approval Karl Crary
[TYPES] Types-list post from devriese@cs.tcd.ie requires approval Stephanie Weirich
[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] 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] Universe Polymorphism Thorsten Altenkirch
[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? Herman Geuvers
[TYPES] Y-combinator in Type:Type? Francois Pottier
[TYPES] Y-combinator in Type:Type? Thomas Streicher
[TYPES] Y-combinator in Type:Type? Andreas Abel
[TYPES] Y-combinator in Type:Type? Edsko de Vries
[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

Last message date: Thu Sep 11 05:23:22 EDT 2008
Archived on: Thu Sep 11 09:01:02 EDT 2008

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

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