2014 Archives by author

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

Starting: Tue Jan 7 03:17:50 EST 2014
Ending: Fri Dec 19 03:35:43 EST 2014
Messages: 95

• [TYPES] types   Jamie Andrews
• [TYPES] Types as theories   PATRICK BROWNE
• [TYPES] Types as theories   PATRICK BROWNE
• [TYPES] types   Gershom Bazerman
• [TYPES] types   Gergely Buday
• [TYPES] types   Jacques Carette
• [TYPES] types   Jacques Carette
• [TYPES] types   Jason Dagit
• [TYPES] types   Tony Dekker
• [TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a whole, or dummy parameters like 'n itself?   Derek Dreyer
• [TYPES] New moderator: Dimitrios Vytiniotis   Derek Dreyer
• [TYPES] types   Derek Dreyer
• [TYPES] origin of the term "hom-set"?   Derek Dreyer
• [TYPES] types   Martin Escardo
• [TYPES] Topology of the type T = T -> T   Martin Escardo
• [TYPES] types   Matthias Felleisen
• [TYPES] Types   Dan Ghica
• [TYPES] types   Joshua Guttman
• [TYPES] types   Prof Robert Harper
• [TYPES] type systems in terms of contexts and judgements   Prof Robert Harper
• [TYPES] decidability vs completeness   Prof Robert Harper
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Prof. Robert Harper
• [TYPES] Decidable intersection-type inference for general recursion: state of the art?   Stefan Holdermans
• [TYPES] Types in distributed systems   Harley Eades III
• [TYPES] origin of the term "hom-set"?   Harley Eades III
• [TYPES] origin of the term "hom-set"?   J. Ian Johnson
• [TYPES] types   Antti-Juhani Kaijanaho
• [TYPES] types   Tamreen Khan
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Siraaj Khandkar
• [TYPES] decidability vs completeness   Paul Levy
• [TYPES] decidability vs completeness   Paul Levy
• [TYPES] boolean conversation   Paul Levy
• [TYPES] Purely functional programming with reference cells   Eduardo León
• [TYPES] Purely functional programming with reference cells   Eduardo León
• [TYPES] types   Simone Martini
• [TYPES] Topology of the type T = T -> T   Guy McCusker
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Sean McDirmid
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Sean McDirmid
• [TYPES] types   Sean McDirmid
• [TYPES] Topology of the type T = T -> T   Izaak Meckler
• [TYPES] OutsideIn(X) question   Alejandro Serrano Mena
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Gavin Mendel-Gleason
• [TYPES] types   Greg Morrisett
• [TYPES] Types in distributed systems   Andrew Myers
• [TYPES] types   Rishiyur Nikhil
• [TYPES] types   Marius Nita
• [TYPES] Types in distributed systems   Frank Pfenning
• [TYPES] FP and the Chomsky hierarchy   Frank Pfenning
• [TYPES] FP and the Chomsky hierarchy   Benjamin C. Pierce
• [TYPES] Purely functional programming with reference cells   Francois Pottier
• [TYPES] Types in distributed systems   Antonio Ravara
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Uday S Reddy
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Uday S Reddy
• [TYPES] Logical relations and parametricity (Reynolds memorial paper)   Uday S Reddy
• [TYPES] types   Uday S Reddy
• [TYPES] types   Uday S Reddy
• [TYPES] origin of the term "hom-set"?   Uday S Reddy
• [TYPES] types   Andreas Rossberg
• [TYPES] Types in distributed systems   Andreas Rossberg
• [TYPES] Types in distributed systems   Andreas Rossberg
• [TYPES] Types as theories   Rosu, Grigore
• [TYPES] types   Cody Roux
• [TYPES] Types in distributed systems   David Ryan
• [TYPES] Types in distributed systems   David Ryan
• [TYPES] FP and the Chomsky hierarchy   Gabriel Scherer
• [TYPES] Types in distributed systems   Peter Sewell
• [TYPES] Types in distributed systems   Mark Sheldon
• [TYPES] types   Sergei Soloviev
• [TYPES] Types in distributed systems   "Ionuț G. Stan"
• [TYPES] Types in distributed systems   "Ionuț G. Stan"
• [TYPES] Types in distributed systems   "Ionuț G. Stan"
• [TYPES] Types in distributed systems   "Ionuț G. Stan"
• [TYPES] decidability vs completeness   Jon Sterling
• [TYPES] Purely functional programming with reference cells   Jon Sterling
• [TYPES] Purely functional programming with reference cells   Jon Sterling
• [TYPES] decidability vs completeness   Thomas Streicher
• [TYPES] Do "phantom types" mean types like ('a, 'n)sized_list as a whole, or dummy parameters like 'n itself?   Eijiro Sumii
• [TYPES] types   Altenkirch Thorsten
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Sam Tobin-Hochstadt
• [TYPES] types   Sam Tobin-Hochstadt
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Laurence Tratt
• [TYPES] types   Vladimir Voevodsky
• [TYPES] types   Vladimir Voevodsky
• [TYPES] types   Vladimir Voevodsky
• [TYPES] type systems in terms of contexts and judgements   Vladimir Voevodsky
• [TYPES] OutsideIn(X) question   Dimitrios Vytiniotis
• [TYPES] future of types-list (call for feedback)   Dimitrios Vytiniotis
• [TYPES] FW: Joachim (Jim) Lambek   Dimitrios Vytiniotis
• [TYPES] types   Philip Wadler
• [TYPES] types   Philip Wadler
• [TYPES] types   Philip Wadler
• [TYPES] types   Philip Wadler
• [TYPES] Types in distributed systems   Philip Wadler
• [TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?   Noam Zeilberger
• [TYPES] FP and the Chomsky hierarchy   oleg at okmij.org

Last message date: Fri Dec 19 03:35:43 EST 2014
Archived on: Fri Dec 19 03:56:42 EST 2014

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