2008 Archives by date

Messages sorted by: [ thread ] [ subject ] [ author ]
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 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] Isorecursive types and type abstraction Edsko de Vries
[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] 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] Fwd: polymorphic isomorphisms Thorsten Altenkirch
[TYPES] Fwd: polymorphic isomorphisms Paul B Levy
[TYPES] polymorphic isomorphisms Thorsten Altenkirch
[TYPES] Fwd: polymorphic isomorphisms Philip Wadler
[TYPES] focusing on binding and computation Robert Harper
[TYPES] Paper announcement Felice Cardone
[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] 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? 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] 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] Formal treatment of intersection/union/arrow subtyping? Tim Sweeney
[TYPES] Formal treatment of intersection/union/arrow subtyping? gc at pps.jussieu.fr
[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? 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] SN for System F with countable universe of types? Andreas Abel
[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? 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 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] 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] Universe Polymorphism Klaus Ostermann
[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 Sebastian Hanowski
[TYPES] Universe Polymorphism Xavier Leroy
[TYPES] Universe Polymorphism Thorsten Altenkirch
[TYPES] the polymorphic lambda calculus - A related question concerning its uniformity Andrei Popescu
[TYPES] Universe Polymorphism Stefan Holdermans
[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] 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 Mariangiola Dezani
[TYPES] Reference to typed first class pattern matching Luigi.Liquori at work
[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 Derek Dreyer
[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 Laurent Regnier
[TYPES] Reference to typed first class pattern matching Morten Rhiger
[TYPES] questiuon about strong normalization in untyped lambda-calculus Jonathan Seldin
[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] 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 Didier Remy
[TYPES] Minimal type reconstruction Gavin Bierman
[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 Andrei Popescu
[TYPES] HOAS versus meta reasoning Dan Licata
[TYPES] HOAS versus meta reasoning Jonathan Aldrich
[TYPES] HOAS versus meta reasoning Marcin Zalewski
[TYPES] HOAS versus meta reasoning Adam Poswolsky
[TYPES] HOAS versus meta reasoning Karl Crary
[TYPES] HOAS versus meta reasoning (Andrew Gacek) Marino Miculan
[TYPES] HOAS versus meta reasoning Alexander Kurz
[TYPES] HOAS versus meta reasoning Andrew Pitts
[TYPES] HOAS versus meta reasoning Brian Huffman
[TYPES] HOAS versus meta reasoning murdoch gabbay
[TYPES] HOAS versus meta reasoning Andrei Popescu
[TYPES] HOAS versus meta reasoning Andrei Popescu
[TYPES] HOAS versus meta reasoning Dan Licata
[TYPES] HOAS versus meta reasoning - correction Andrei Popescu
[TYPES] HOAS versus meta reasoning Karl Crary
[TYPES] HOAS versus meta reasoning 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: [ thread ] [ subject ] [ author ]
More info on this list...

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