2006 Archives by thread

• Messages sorted by: [ subject ] [ 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] Limited use of negation types?   Giuseppe Castagna
• [TYPES] A doubt in AUTOMATH type system   Param Jyothi Reddy
• [TYPES] Electronic publications   Steffen van Bakel
  • [TYPES] Electronic publications   Joe Wells
  • [TYPES] Electronic publications   Gopalan Nadathur
• [TYPES] logical relations   Eijiro Sumii
  • [TYPES] logical relations   Robert Harper
• [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   James Cheney
• [TYPES] logical relations   Thomas Streicher
• [TYPES] logical relations   Coquand
• [TYPES] logical relations   Don Sannella
  • [TYPES] logical relations   Eijiro Sumii
• [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] 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] Oops   Jonathan Seldin
  • [TYPES] Eliminators in type theory   Sergei SOLOVIEV
• [TYPES] Eliminators in type theory   Jonathan P. Seldin
  • [TYPES] Eliminators in type theory   Yong Luo
• [TYPES] SML# alpha release   Atsushi Ohori
  • [TYPES] SML# alpha release   Ian Zimmerman
    • [TYPES] SML# alpha release   Greg Morrisett
• [TYPES] Expressivity of primitive recursion (was: Eliminators in type theory)   Simone Martini
• [TYPES] Definable programs in type theories   Yong Luo
• [TYPES] A type theory with partially defined functions and pattern matching   Yong Luo
  • [TYPES] ....pattern matching   Barry Jay
• [TYPES] completeness of subtype judgments   Sophia Drossopoulou
  • [TYPES] completeness of subtype judgments   Gerwin Klein
  • [TYPES] completeness of subtype judgments   Giuseppe Castagna
    • [TYPES] CORRIGENDA: completeness of subtype judgments   Giuseppe Castagna
  • [TYPES] completeness of subtype judgments   Alain Frisch
• [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] semantics of `quote'   Thomas Streicher
  • [TYPES] semantics of `quote'   Tim Sweeney
  • [TYPES] semantics of `quote'   Uday Reddy
• [TYPES] a summary of the responses to my question on `quote'   Thomas Streicher
• [TYPES] Lambda calculus with callcc and Moggi's monadic metalanguage   emakarov
• [TYPES] logical relations and ctx equivalence   Dimitrios Vytiniotis
• [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?   Atsushi Igarashi
  • [TYPES] Java generics unsoundness?   Eugene Vigdorchik
• [TYPES] Java generics unsoundness?   Eijiro Sumii
• [TYPES] ICFP 2007 Call for Workshop Proposals   Graham Hutton
• [TYPES] trace back pattern matching, typecase   Burak Emir
  • [TYPES] trace back pattern matching, typecase   Jacques Carette
  • [TYPES] trace back pattern matching, typecase   Xavier Leroy
• [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] Looking for Girard's Dissertation   Christopher A. Stone
• [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   Yong Luo
• [TYPES] An efficient program for the function (mod 3) in type theories   Conor McBride
• [TYPES] How fast is the fastest sorting program in type theories?   Yong Luo
• [TYPES] Is Quick Sort slower than Insertion Sort in type theories?   Yong Luo

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

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