2018 Archives by author

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

Starting: Sat Jan 6 17:23:34 EST 2018
Ending: Mon Dec 17 14:47:02 EST 2018
Messages: 131

[TYPES] Statement of structural induction Andreas Abel
[TYPES] Typed lambda calculi with weak conversion Thorsten Altenkirch
[TYPES] Typed lambda calculi with weak conversion Thibaut Balabonski
[TYPES] Statement of structural induction Frédéric Blanqui
[TYPES] Statement of structural induction Frédéric Blanqui
[TYPES] What is the state of the art of call-by-value computing? Frédéric Blanqui
[TYPES] Progress + Preservation = Evaluation William J. Bowman
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics William J. Bowman
[TYPES] What algebra am I thinking of? Harrison Brown
[TYPES] Objects in type theory Kim Bruce
[TYPES] What algebra am I thinking of? Jacques Carette
[TYPES] What algebra am I thinking of? Jacques Carette
[TYPES] type inference for mutually recursive algebraic types with subtyping Giuseppe Castagna
[TYPES] Translation of bounded quantifications into intersection types Giuseppe Castagna
[TYPES] Best pedagogical presentation of CPS? Adam Chlipala
[TYPES] preterms Stefan Ciobaca
[TYPES] Do erasable boxes form a monad? Jesper Cockx
[TYPES] Statement of structural induction Pierre Courtieu
[TYPES] Progress + Preservation = Evaluation Pierre Courtieu
[TYPES] Transfinite universe levels Philippa Cowderoy
[TYPES] Statement of structural induction Dan Doel
[TYPES] Transfinite universe levels Dan Doel
[TYPES] Translation of bounded quantifications into intersection types Stephen Dolan
[TYPES] Translation of bounded quantifications into intersection types Stephen Dolan
[TYPES] breaking abstraction with ML exceptions Derek Dreyer
[TYPES] Interaction between type classes and modules Derek Dreyer
[TYPES] System F and System T names Alejandro Díaz-Caro
[TYPES] System F and System T names Alejandro Díaz-Caro
[TYPES] Statement of structural induction Richard Eisenberg
[TYPES] Statement of structural induction Richard Eisenberg
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? Richard Eisenberg
[TYPES] Statement of structural induction Burak Emir
[TYPES] What algebra am I thinking of? Francesco Gavazzo
[TYPES] Statement of structural induction Paolo Giarrusso
[TYPES] Statement of structural induction Paolo Giarrusso
[TYPES] Equi recursive types: logical relations and intuition Paolo Giarrusso
[TYPES] Generalised Covariant and Contravariant inference rules Aaron Gray
[TYPES] type inference for mutually recursive algebraic types with subtyping Aaron Gray
[TYPES] type inference for mutually recursive algebraic types with subtyping Aaron Gray
[TYPES] type inference for mutually recursive algebraic types with subtyping Aaron Gray
[TYPES] What algebra am I thinking of? Radu Grigore
[TYPES] Martin Hofmann (1965-2018) Jan Hoffmann
[TYPES] Decidable equality of propositions implies proof irrelevance Dominik Kirst
[TYPES] Objects in type theory Nicolai Kraus
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? Neel Krishnaswami
[TYPES] What algebra am I thinking of? Neel Krishnaswami
[TYPES] What algebra am I thinking of? Neel Krishnaswami
[TYPES] System F and System T names Neel Krishnaswami
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Neel Krishnaswami
[TYPES] type inference for mutually recursive algebraic types with subtyping Rodolphe Lepigre
[TYPES] Statement of structural induction Xavier Leroy
[TYPES] Statement of structural induction Xavier Leroy
[TYPES] Best pedagogical presentation of CPS? Xavier Leroy
[TYPES] Best pedagogical presentation of CPS? Paul Blain Levy
[TYPES] breaking abstraction with ML exceptions Sam Lindley
[TYPES] breaking abstraction with ML exceptions Sam Lindley
[TYPES] Progress + Preservation = Evaluation Sam Lindley
[TYPES] type inference for mutually recursive algebraic types with subtyping Sam Lindley
[TYPES] What algebra am I thinking of? Tadeusz Litak
[TYPES] What algebra am I thinking of? Tadeusz Litak
[TYPES] Equi recursive types: logical relations and intuition Guy McCusker
[TYPES] What algebra am I thinking of? Matthew Meola
[TYPES] Statement of structural induction Albert R Meyer
[TYPES] Statement of structural induction Albert R Meyer
[TYPES] models of untyped lambda calculus Albert R Meyer
[TYPES] What algebra am I thinking of? Eugenio Moggi
[TYPES] Transfinite universe levels Stefan Monnier
[TYPES] Do erasable boxes form a monad? Stefan Monnier
[TYPES] Do erasable boxes form a monad? Stefan Monnier
[TYPES] breaking abstraction with ML exceptions Andrew Myers
[TYPES] A new take on bracket abstraction, and a historical question about the first take Oleg
[TYPES] breaking abstraction with ML exceptions Oleg
[TYPES] Progress + Preservation = Evaluation Oleg
[TYPES] What algebra am I thinking of? Valeria de Paiva
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? Zachary Palmer
[TYPES] Transfinite universe levels Erik Palmgren
[TYPES] Equi recursive types: logical relations and intuition Marco Patrignani
[TYPES] Equi recursive types: logical relations and intuition Marco Patrignani
[TYPES] Best pedagogical presentation of CPS? Benjamin C. Pierce
[TYPES] Martin Hofmann memorial talk Benjamin C. Pierce
[TYPES] Best pedagogical presentation of CPS? François Pottier
[TYPES] breaking abstraction with ML exceptions François Pottier
[TYPES] [Agda] Progress + Preservation = Evaluation Roman
[TYPES] What is the state of the art of call-by-value computing? Roman
[TYPES] What is the state of the art of call-by-value computing? Roman
[TYPES] models of untyped lambda calculus Rosu, Grigore
[TYPES] models of untyped lambda calculus Rosu, Grigore
[TYPES] Typed lambda calculi with weak conversion Gabriel Scherer
[TYPES] A new take on bracket abstraction, and a historical question about the first take Gabriel Scherer
[TYPES] breaking abstraction with ML exceptions Gabriel Scherer
[TYPES] meta thread on types-announces filtering of announces Gabriel Scherer
[TYPES] Transfinite universe levels Gabriel Scherer
[TYPES] Max on terminology: "Graduality" instead of "Gradual Guarantee" Gabriel Scherer
[TYPES] models of untyped lambda calculus Gabriel Scherer
[TYPES] models of untyped lambda calculus Gabriel Scherer
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Gabriel Scherer
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Gabriel Scherer
[TYPES] Equi recursive types: logical relations and intuition Gabriel Scherer
[TYPES] What algebra am I thinking of? Peter Selinger
[TYPES] Typed lambda calculi with weak conversion Filippo Sestini
[TYPES] Typed lambda calculi with weak conversion Filippo Sestini
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? Filippo Sestini
[TYPES] Interaction between type classes and modules Steven Shaw
[TYPES] Statement of structural induction Ben Sherman
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Jeremy Siek
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Jeremy Siek
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics Jeremy Siek
[TYPES] preterms Jay Sulzberger
[TYPES] preterms Jay Sulzberger
[TYPES] Martin Hofmann (1965-2018) Eijiro Sumii
[TYPES] Objects in type theory Tim Sweeney
[TYPES] "Proofs of life" Rene Vestergaard
[TYPES] "Proofs of life" Rene Vestergaard
[TYPES] Best pedagogical presentation of CPS? Philip Wadler
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? Philip Wadler
[TYPES] What algebra am I thinking of? Philip Wadler
[TYPES] What algebra am I thinking of? Philip Wadler
[TYPES] What algebra am I thinking of? Philip Wadler
[TYPES] What algebra am I thinking of? Philip Wadler
[TYPES] Progress + Preservation = Evaluation Philip Wadler
[TYPES] Progress + Preservation = Evaluation Philip Wadler
[TYPES] Progress + Preservation = Evaluation Philip Wadler
[TYPES] Progress + Preservation = Evaluation Philip Wadler
[TYPES] Progress + Preservation = Evaluation Philip Wadler
[TYPES] Programming Language Foundations in Agda Philip Wadler
[TYPES] Interaction between type classes and modules Philip Wadler
[TYPES] Best pedagogical presentation of CPS? Yuting Wang
[TYPES] Statement of structural induction James Wood
[TYPES] Translation of bounded quantifications into intersection types Ningning Xie
[TYPES] Translation of bounded quantifications into intersection types Ningning Xie
[TYPES] Existing Work on Function Destructors or Haskell Type Spec? matthias at ccs.neu.edu

Last message date: Mon Dec 17 14:47:02 EST 2018
Archived on: Tue Dec 18 06:02:07 EST 2018

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

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