2018 Archives by thread

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

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

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