2009 Archives by author

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

Starting: Fri Jan 16 04:40:22 EDT 2009
Ending: Fri Dec 25 11:47:22 EDT 2009
Messages: 110

[TYPES] Implementing induction principles Andreas Abel
[TYPES] SASyLF proof assistant: teaching experience Jonathan Aldrich
[TYPES] proofs of strong normalization for System F Thorsten Altenkirch
[TYPES] non-constuctive proofs Thorsten Altenkirch
[TYPES] non-constuctive proofs Thorsten Altenkirch
[TYPES] static analyses for shared resource accesses in multi-threaded systems Austin Anderson
[TYPES] Third LSFA CFPs Mauricio Ayala-Rincón
[TYPES] static analyses for shared resource accesses in multi-threaded systems Nels Beckman
[TYPES] proofs of strong normalization for System F Martin Berger
[TYPES] records from intersections; variants from unions? Matthias Blume
[TYPES] proofs of strong normalization for System F Matthias Blume
[TYPES] proofs of strong normalization for System F Matthias Blume
[TYPES] System F and Type Generativity Matthias Blume
[TYPES] Idea about how to simulate variable assignment in lambda calculus Flavio Botelho
[TYPES] HOAS and Denotational Semantics Adam Chlipala
[TYPES] Fwd: Sad news: Amir Pnueli dies Adriana Compagnoni
[TYPES] seeking papers with good examples of the use of GADTs Karl Crary
[TYPES] A show-stopping problem for modular type classes? Karl Crary
[TYPES] A show-stopping problem for modular type classes? Karl Crary
[TYPES] A show-stopping problem for modular type classes? Karl Crary
[TYPES] teaching discrete math and logic to undergraduates Olivier Danvy
[TYPES] Operational Semantics Preserving Translations M.C.A. (Marco) Devillers
[TYPES] teaching discrete math and logic to undergraduates Marco Devillers
[TYPES] CPS and accumulators Marco Devillers
[TYPES] Typechecking by partial evaluation Marco Devillers
[TYPES] Issues regarding typeclasses and modular languages like ML Derek Dreyer
[TYPES] Issues regarding typeclasses and modular languages like ML Derek Dreyer
[TYPES] seeking papers with good examples of the use of GADTs Derek Dreyer
[TYPES] proofs of strong normalization for System F Derek Dreyer
[TYPES] proofs of strong normalization for System F Derek Dreyer
[TYPES] teaching discrete math and logic to undergraduates Derek Dreyer
[TYPES] teaching discrete math and logic to undergraduates Derek Dreyer
[TYPES] A show-stopping problem for modular type classes? Derek Dreyer
[TYPES] A show-stopping problem for modular type classes? Derek Dreyer
[TYPES] proofs of strong normalization for System F Lorenzo Tortora de Falco
[TYPES] [Fwd: Re: proofs of strong normalization for System F] Lorenzo Tortora de Falco
[TYPES] CPS and accumulators Matthias Felleisen
[TYPES] teaching discrete math and logic to undergraduates Matthias Felleisen
[TYPES] Binary Reflective Type System for Communications Kathleen Fisher
[TYPES] Proofs of strong normalization for system F Jean Gallier
[TYPES] teaching discrete math and logic to undergraduates Jean Gallier
[TYPES] non-constuctive proofs Jean Gallier
[TYPES] static analyses for shared resource accesses in multi-threaded systems Meredith Gregory
[TYPES] mechanized metatheory of standard ml alpha release Robert Harper
[TYPES] Inductive definition of order Stefan Holdermans
[TYPES] Issues regarding typeclasses and modular languages like ML Brian Hulley
[TYPES] Issues regarding typeclasses and modular languages like ML Brian Hulley
[TYPES] Issues regarding typeclasses and modular languages like ML Brian Hulley
[TYPES] Issues regarding typeclasses and modular languages like ML Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] A show-stopping problem for modular type classes? Brian Hulley
[TYPES] static analyses for shared resource accesses in multi-threaded systems Ciera Jaspan
[TYPES] Implementing induction principles Patricia Johann
[TYPES] System F and Type Generativity George Kuan
[TYPES] non-constuctive proofs Stephane Lengrand
[TYPES] System F and Type Generativity Xavier Leroy
[TYPES] First mechanized proofs of type soundness of delimited control Dan Licata
[TYPES] Implementing induction principles Dan Licata
[TYPES] proofs of strong normalization for System F Ralph Loader
[TYPES] records from intersections; variants from unions? William Lovas
[TYPES] CPS and accumulators Giuseppe Maggiore
[TYPES] CPS and accumulators Giuseppe Maggiore
[TYPES] proofs of strong normalization for System F Wojtek Moczydlowski
[TYPES] proofs of strong normalization for System F Wojtek Moczydlowski
[TYPES] System F and Type Generativity Stefan Monnier
[TYPES] A show-stopping problem for modular type classes? Stefan Monnier
[TYPES] First mechanized proofs of type soundness of delimited control Tom Murphy
[TYPES] HOAS and Denotational Semantics Klaus Ostermann
[TYPES] A show-stopping problem for modular type classes? Simon Peyton-Jones
[TYPES] Release of Beluga prototype Brigitte Pientka
[TYPES] Who needs a textbook for teaching PL using Coq? Benjamin Pierce
[TYPES] [TYPES/announce] New moderator: Derek Dreyer Benjamin Pierce
[TYPES] Teaching PL using proof assistants Benjamin Pierce
[TYPES] history of typing contexts Andrew Pitts
[TYPES] proofs of strong normalization for System F Andrei Popescu
[TYPES] seeking papers with good examples of the use of GADTs Norman Ramsey
[TYPES] Issues regarding typeclasses and modular languages like ML Andreas Rossberg
[TYPES] System F and Type Generativity Andreas Rossberg
[TYPES] Binary Reflective Type System for Communications David Ryan
[TYPES] Binary Reflective Type System for Communications David Ryan
[TYPES] Announcing a Fortress blog Sukyoung Ryu
[TYPES] (no subject) Jonathan Seldin
[TYPES] Implementing induction principles Thomas Streicher
[TYPES] Typechecking by partial evaluation Tim Sweeney
[TYPES] Typechecking by partial evaluation Tim Sweeney
[TYPES] records from intersections; variants from unions? Sam TH
[TYPES] seeking papers with good examples of the use of GADTs Philip Wadler
[TYPES] [TYPES/announce] New moderator: Derek Dreyer Philip Wadler
[TYPES] New moderator: Derek Dreyer Stephanie Weirich
[TYPES] history of typing contexts Beta Ziliani
[TYPES] type systems for subset of Pascal osama abdelwahed
[TYPES] Colloquium on Games, Dialogue and Interaction alain.lecomte at univ-paris8.fr
[TYPES] static analyses for shared resource accesses in multi-threaded systems koba
[TYPES] First mechanized proofs of type soundness of delimited control oleg at okmij.org
[TYPES] non-constuctive proofs oleg at okmij.org
[TYPES] Typechecking by partial evaluation oleg at okmij.org
[TYPES] Constructive Law of Excluded Middle oleg at okmij.org
[TYPES] A show-stopping problem for modular type classes? oleg at okmij.org
[TYPES] teaching discrete math and logic to undergraduates prakash
[TYPES] Issues regarding typeclasses and modular languages like ML rossberg at ps.uni-sb.de
[TYPES] Typechecking by partial evaluation voigt at tcs.inf.tu-dresden.de

Last message date: Fri Dec 25 11:47:22 EDT 2009
Archived on: Fri Dec 25 11:58:58 EDT 2009

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

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