2006 Archives by subject

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

Starting: Wed Jan 4 16:22:10 EDT 2006
Ending: Tue Dec 5 09:05:24 EDT 2006
Messages: 76

• [TYPES] ....pattern matching   Barry Jay
• [TYPES] A doubt in AUTOMATH type system   Param Jyothi Reddy
• [TYPES] a summary of the responses to my question on `quote'   Thomas Streicher
• [TYPES] A type theory with partially defined functions and pattern matching   Yong Luo
• [TYPES] An efficient program for the function (mod 3) in type theories   Yong Luo
• [TYPES] An efficient program for the function (mod 3) in type theories   Yong Luo
• [TYPES] An efficient program for the function (mod 3) in type theories   Conor McBride
• [TYPES] An efficient program for the function (mod 3) in type theories   Conor McBride
• [TYPES] completeness of subtype judgments   Sophia Drossopoulou
• [TYPES] completeness of subtype judgments   Gerwin Klein
• [TYPES] completeness of subtype judgments   Giuseppe Castagna
• [TYPES] completeness of subtype judgments   Alain Frisch
• [TYPES] CORRIGENDA: completeness of subtype judgments   Giuseppe Castagna
• [TYPES] CPO semantics of recursive types   Malcolm Tyrrell
• [TYPES] CPO semantics of recursive types   Achim Jung
• [TYPES] CPO semantics of recursive types   Malcolm Tyrrell
• [TYPES] Definable programs in type theories   Yong Luo
• [TYPES] Electronic publications   Steffen van Bakel
• [TYPES] Electronic publications   Joe Wells
• [TYPES] Electronic publications   Gopalan Nadathur
• [TYPES] Eliminators in type theory   Yong Luo
• [TYPES] Eliminators in type theory   Thorsten Altenkirch
• [TYPES] Eliminators in type theory   Yong Luo
• [TYPES] Eliminators in type theory   Andreas Abel
• [TYPES] Eliminators in type theory   Andreas Abel
• [TYPES] Eliminators in type theory   Ulrich Berger
• [TYPES] Eliminators in type theory   Jonathan Seldin
• [TYPES] Eliminators in type theory   Jonathan P. Seldin
• [TYPES] Eliminators in type theory   Sergei SOLOVIEV
• [TYPES] Eliminators in type theory   Yong Luo
• [TYPES] Expressivity of primitive recursion (was: Eliminators in type theory)   Simone Martini
• [TYPES] How fast is the fastest sorting program in type theories?   Yong Luo
• [TYPES] ICFP 2007 Call for Workshop Proposals   Graham Hutton
• [TYPES] Is Quick Sort slower than Insertion Sort in type theories?   Yong Luo
• [TYPES] Java generics unsoundness?   Eijiro Sumii
• [TYPES] Java generics unsoundness?   Eijiro Sumii
• [TYPES] Java generics unsoundness?   Erik Ernst
• [TYPES] Java generics unsoundness?   Pete Kirkham
• [TYPES] Java generics unsoundness?   Erik Ernst
• [TYPES] Java generics unsoundness?   Eijiro Sumii
• [TYPES] Java generics unsoundness?   Eugene Vigdorchik
• [TYPES] Java generics unsoundness?   Atsushi Igarashi
• [TYPES] Lambda calculus with callcc and Moggi's monadic metalanguage   emakarov
• [TYPES] Limited use of negation types?   Giuseppe Castagna
• [TYPES] logical relations   Eijiro Sumii
• [TYPES] logical relations   Nick Benton
• [TYPES] logical relations   Geoffrey Alan Washburn
• [TYPES] logical relations   David Naumann
• [TYPES] logical relations   Eijiro Sumii
• [TYPES] logical relations   Uday Reddy
• [TYPES] logical relations   Jeffrey Sarnat
• [TYPES] logical relations   Thomas Streicher
• [TYPES] logical relations   James Cheney
• [TYPES] logical relations   Coquand
• [TYPES] logical relations   Robert Harper
• [TYPES] logical relations   Don Sannella
• [TYPES] logical relations   Eijiro Sumii
• [TYPES] logical relations and ctx equivalence   Dimitrios Vytiniotis
• [TYPES] Looking for Girard's Dissertation   Christopher A. Stone
• [TYPES] Oops   Jonathan Seldin
• [TYPES] Query: Types for post-development analysis?   Michael Anthony Smith
• [TYPES] Query: Types for post-development analysis?   Michael Anthony Smith
• [TYPES] Query: Types for post-development analysis?   Michael Hicks
• [TYPES] semantics of `quote'   Thomas Streicher
• [TYPES] semantics of `quote'   Tim Sweeney
• [TYPES] semantics of `quote'   Uday Reddy
• [TYPES] SML# alpha release   Atsushi Ohori
• [TYPES] SML# alpha release   Ian Zimmerman
• [TYPES] SML# alpha release   Greg Morrisett
• [TYPES] Systematically testing type systems   Klaus Ostermann
• [TYPES] Systematically testing type systems   James Cheney
• [TYPES] Systematically testing type systems   Matthias Felleisen
• [TYPES] Systematically testing type systems   David Hopwood
• [TYPES] trace back pattern matching, typecase   Burak Emir
• [TYPES] trace back pattern matching, typecase   Jacques Carette
• [TYPES] trace back pattern matching, typecase   Xavier Leroy

Last message date: Tue Dec 5 09:05:24 EDT 2006
Archived on: Tue Dec 5 09:12:44 EDT 2006

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