2007 Archives by subject

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

Starting: Sat Jan 20 09:06:20 EDT 2007
Ending: Fri Dec 7 12:27:22 EDT 2007
Messages: 59

• [TYPES] [Coq-Club] Proof term for proof by exhaustion   Param Jyothi Reddy
• [TYPES] [Fwd: Re: Encoding of negation]   Philip Wadler
• [TYPES] [Request-for-Comments] Cat : A Typed Functional Stack-Based Language   Francois Pottier
• [TYPES] [Request-for-Comments] Cat : A Typed Functional Stack-Based Language   Christopher Diggins
• [TYPES] a paper available on "Record Unboxing", a new type-based optimization   Atsushi Ohori
• [TYPES] available JVM implementations   Davide Ancona
• [TYPES] available JVM implementations   Aaron Gray
• [TYPES] Call for participation: TABLEAUX 2007   benhamou
• [TYPES] CFP: 2nd CFP for RDP Workshop Proof Assistants and Types in Education (PATE)   Pierre Courtieu
• [TYPES] CFP: 9th Intl. Workshop on Logic & Computational Complexity (LCC'07)   James S. Royer
• [TYPES] CFP: DAMP 2008   Petersen, Leaf
• [TYPES] Co-algebraic semantics of typed lambda-calculus   Jacques Carette
• [TYPES] Compiler frameworks.   N V Krishna.
• [TYPES] Compiler frameworks.   Eric Eide
• [TYPES] Compiler frameworks.   Aaron Gray
• [TYPES] Completeness of powersimulation   Malcolm Tyrrell
• [TYPES] ECOOP 2007 - Call for Student Volunteers   Erik Ernst
• [TYPES] Encoding of negation   Philip Wadler
• [TYPES] Encoding of negation   Carter Tazio Schonwald
• [TYPES] Encoding of negation   Burak Emir
• [TYPES] Re: Encoding of negation   Vladimir Komendantsky
• [TYPES] Encoding of negation   Philip Wadler
• [TYPES] Encoding of negation   Rowan Davies
• [TYPES] Encoding of negation   Vladimir Komendantsky
• [TYPES] Encoding of negation   Philip Wadler
• [TYPES] Encoding of negation   Peter Selinger
• [TYPES] Encoding of negation   Peter Selinger
• [TYPES] Encoding of Negation   Eike Ritter
• [TYPES] ETAPS 2007: Call for Participation   João Saraiva
• [TYPES] FINAL CFP: 9th Intl Workshop on Logic & Computational Complexity   James S. Royer
• [TYPES] Formal proof of type-soundness for references in Coq   mulhern
• [TYPES] Formal proof of type-soundness for references in Coq   Karl Crary
• [TYPES] Formal proof of type-soundness for references in Coq   mulhern
• [TYPES] Formal proof of type-soundness for references in Coq   David Naumann
• [TYPES] Formal proof of type-soundness for references in Coq   David Hopwood
• [TYPES] Google Summer of Code   Yoriyuki Yamagata
• [TYPES] GPCE'07 Call for Papers   Emir Pasalic
• [TYPES] Gradual Typing for Objects   Jeremy Siek
• [TYPES] HELP: Need a paper about stable domain.   李旭晖
• [TYPES] implementations of fj (Featherweight Java)   Bahman Sistany
• [TYPES] implementations of fj (Featherweight Java)   Matthias Felleisen
• [TYPES] implementations of fj (Featherweight Java)   Bahman Sistany
• [TYPES] Inconsistency and non dependent sum elimination   Param Jyothi Reddy
• [TYPES] Kothe space models of Haghverdi combinators?   Meredith Gregory
• [TYPES] logical relations   Gerard Boudol
• [TYPES] Paper announcement: Syntactic Logical Relations for Polymorphic and Recursive Types   Karl Crary
• [TYPES] Permutation of beta-redexes in lambda-calculus   "Stéphane Lengrand (Work)"
• [TYPES] Permutation of beta-redexes in lambda-calculus   eduardo at sol.lifia.info.unlp.edu.ar
• [TYPES] Permutation of beta-redexes in lambda-calculus   Laurent Regnier
• [TYPES] Permutation of beta-redexes in lambda-calculus   Joe Wells
• [TYPES] Permutation of beta-redexes in lambda-calculus   Hassan Aït-Kaci
• [TYPES] Permutation of beta-redexes in lambda-calculus   Sam Lindley
• [TYPES] Proof term for proof by exhaustion   Param Jyothi Reddy
• [TYPES] Request for Comments: Typing Functional Stack-Based Language   Christopher Diggins
• [TYPES] Some questions on logical and prelogical relations   Malcolm Tyrrell
• [TYPES] TLCA List of Open Problems   Pawel Urzyczyn
• [TYPES] Unification within a quantifier prefix   Tim Sweeney
• [TYPES] Unification within a quantifier prefix   Alwen Tiu
• [TYPES] XPath typing   Pierre Geneves

Last message date: Fri Dec 7 12:27:22 EDT 2007
Archived on: Fri Dec 7 13:40:39 EDT 2007

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