types-list
Thread
Date
Earlier messages
Messages by Thread
[TYPES] Translation of bounded quantifications into intersection types
Ningning Xie
Re: [TYPES] Translation of bounded quantifications into intersection types
Ningning Xie
Re: [TYPES] Translation of bounded quantifications into intersection types
Stephen Dolan
Re: [TYPES] Translation of bounded quantifications into intersection types
Giuseppe Castagna
[TYPES] type inference for mutually recursive algebraic types with subtyping
Aaron Gray
Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Sam Lindley
Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Aaron Gray
Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Rodolphe Lepigre
Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Aaron Gray
Re: [TYPES] type inference for mutually recursive algebraic types with subtyping
Giuseppe Castagna
[TYPES] Interaction between type classes and modules
Philip Wadler
Re: [TYPES] Interaction between type classes and modules
Steven Shaw
Re: [TYPES] Interaction between type classes and modules
Derek Dreyer
[TYPES] Programming Language Foundations in Agda
Philip Wadler
[TYPES] Equi recursive types: logical relations and intuition
Marco Patrignani
Re: [TYPES] Equi recursive types: logical relations and intuition
Gabriel Scherer
Re: [TYPES] Equi recursive types: logical relations and intuition
Paolo Giarrusso
Re: [TYPES] Equi recursive types: logical relations and intuition
Marco Patrignani
Re: [TYPES] Equi recursive types: logical relations and intuition
Guy McCusker
[TYPES] "Proofs of life"
Rene Vestergaard
Re: [TYPES] "Proofs of life"
Rene Vestergaard
[TYPES] Do erasable boxes form a monad?
Stefan Monnier
Re: [TYPES] Do erasable boxes form a monad?
Jesper Cockx
Re: [TYPES] Do erasable boxes form a monad?
Stefan Monnier
[TYPES] Martin Hofmann memorial talk
Benjamin C. Pierce
[TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Jeremy Siek
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Gabriel Scherer
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
William J. Bowman
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Jeremy Siek
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Gabriel Scherer
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Jeremy Siek
Re: [TYPES] correctness of closure conversion for untyped lambda calculus wrt. denotational semantics
Neel Krishnaswami
[TYPES] models of untyped lambda calculus
Rosu, Grigore
Re: [TYPES] models of untyped lambda calculus
Rosu, Grigore
Re: [TYPES] models of untyped lambda calculus
Gabriel Scherer
Re: [TYPES] models of untyped lambda calculus
Albert R Meyer
Re: [TYPES] models of untyped lambda calculus
Gabriel Scherer
[TYPES] Max on terminology: "Graduality" instead of "Gradual Guarantee"
Gabriel Scherer
[TYPES] Transfinite universe levels
Stefan Monnier
Re: [TYPES] Transfinite universe levels
Erik Palmgren
Re: [TYPES] Transfinite universe levels
Dan Doel
Re: [TYPES] Transfinite universe levels
Philippa Cowderoy
Re: [TYPES] Transfinite universe levels
Gabriel Scherer
[TYPES] What is the state of the art of call-by-value computing?
Roman
Re: [TYPES] What is the state of the art of call-by-value computing?
Frédéric Blanqui
Re: [TYPES] What is the state of the art of call-by-value computing?
Roman
[TYPES] Progress + Preservation = Evaluation
Philip Wadler
Re: [TYPES] Progress + Preservation = Evaluation
William J. Bowman
Re: [TYPES] Progress + Preservation = Evaluation
Philip Wadler
Re: [TYPES] Progress + Preservation = Evaluation
Oleg
Re: [TYPES] Progress + Preservation = Evaluation
Philip Wadler
Re: [TYPES] Progress + Preservation = Evaluation
Pierre Courtieu
Re: [TYPES] Progress + Preservation = Evaluation
Philip Wadler
Re: [TYPES] Progress + Preservation = Evaluation
Sam Lindley
Re: [TYPES] Progress + Preservation = Evaluation
Philip Wadler
Re: [TYPES] [Agda] Progress + Preservation = Evaluation
Roman
[TYPES] meta thread on types-announces filtering of announces
Gabriel Scherer
[TYPES] Decidable equality of propositions implies proof irrelevance
Dominik Kirst
[TYPES] Generalised Covariant and Contravariant inference rules
Aaron Gray
[TYPES] System F and System T names
Alejandro Díaz-Caro
Re: [TYPES] System F and System T names
Neel Krishnaswami
Re: [TYPES] System F and System T names
Alejandro Díaz-Caro
[TYPES] breaking abstraction with ML exceptions
Sam Lindley
Re: [TYPES] breaking abstraction with ML exceptions
Gabriel Scherer
Re: [TYPES] breaking abstraction with ML exceptions
Oleg
Re: [TYPES] breaking abstraction with ML exceptions
Derek Dreyer
Re: [TYPES] breaking abstraction with ML exceptions
Sam Lindley
Re: [TYPES] breaking abstraction with ML exceptions
François Pottier
Re: [TYPES] breaking abstraction with ML exceptions
Andrew Myers
[TYPES] What algebra am I thinking of?
Philip Wadler
Re: [TYPES] What algebra am I thinking of?
Matthew Meola
Re: [TYPES] What algebra am I thinking of?
Radu Grigore
Re: [TYPES] What algebra am I thinking of?
Eugenio Moggi
Re: [TYPES] What algebra am I thinking of?
Harrison Brown
Re: [TYPES] What algebra am I thinking of?
Jacques Carette
Re: [TYPES] What algebra am I thinking of?
Philip Wadler
Re: [TYPES] What algebra am I thinking of?
Neel Krishnaswami
Re: [TYPES] What algebra am I thinking of?
Jacques Carette
Re: [TYPES] What algebra am I thinking of?
Philip Wadler
Re: [TYPES] What algebra am I thinking of?
Neel Krishnaswami
Re: [TYPES] What algebra am I thinking of?
Tadeusz Litak
Re: [TYPES] What algebra am I thinking of?
Francesco Gavazzo
Re: [TYPES] What algebra am I thinking of?
Philip Wadler
Re: [TYPES] What algebra am I thinking of?
Tadeusz Litak
Re: [TYPES] What algebra am I thinking of?
Peter Selinger
Re: [TYPES] What algebra am I thinking of?
Valeria de Paiva
[TYPES] Existing Work on Function Destructors or Haskell Type Spec?
Zachary Palmer
Re: [TYPES] Existing Work on Function Destructors or Haskell Type Spec?
Filippo Sestini
Re: [TYPES] Existing Work on Function Destructors or Haskell Type Spec?
Richard Eisenberg
Re: [TYPES] Existing Work on Function Destructors or Haskell Type Spec?
Neel Krishnaswami
Re: [TYPES] Existing Work on Function Destructors or Haskell Type Spec?
matthias
Re: [TYPES] Existing Work on Function Destructors or Haskell Type Spec?
Philip Wadler
[TYPES] A new take on bracket abstraction, and a historical question about the first take
Oleg
Re: [TYPES] A new take on bracket abstraction, and a historical question about the first take
Gabriel Scherer
[TYPES] Typed lambda calculi with weak conversion
Filippo Sestini
Re: [TYPES] Typed lambda calculi with weak conversion
Gabriel Scherer
Re: [TYPES] Typed lambda calculi with weak conversion
Thibaut Balabonski
Re: [TYPES] Typed lambda calculi with weak conversion
Filippo Sestini
Re: [TYPES] Typed lambda calculi with weak conversion
Thorsten Altenkirch
[TYPES] Best pedagogical presentation of CPS?
Benjamin C. Pierce
Re: [TYPES] Best pedagogical presentation of CPS?
François Pottier
Re: [TYPES] Best pedagogical presentation of CPS?
Xavier Leroy
Re: [TYPES] Best pedagogical presentation of CPS?
Philip Wadler
Re: [TYPES] Best pedagogical presentation of CPS?
Adam Chlipala
Re: [TYPES] Best pedagogical presentation of CPS?
Paul Blain Levy
Re: [TYPES] Best pedagogical presentation of CPS?
Yuting Wang
[TYPES] Martin Hofmann (1965-2018)
Jan Hoffmann
Re: [TYPES] Martin Hofmann (1965-2018)
Eijiro Sumii
[TYPES] preterms
Stefan Ciobaca
Re: [TYPES] preterms
Jay Sulzberger
Re: [TYPES] preterms
Jay Sulzberger
[TYPES] Objects in type theory
Tim Sweeney
Re: [TYPES] Objects in type theory
Nicolai Kraus
Re: [TYPES] Objects in type theory
Kim Bruce
[TYPES] Statement of structural induction
Richard Eisenberg
Re: [TYPES] Statement of structural induction
Burak Emir
Re: [TYPES] Statement of structural induction
Ben Sherman
Re: [TYPES] Statement of structural induction
James Wood
Re: [TYPES] Statement of structural induction
Xavier Leroy
Re: [TYPES] Statement of structural induction
Albert R Meyer
Re: [TYPES] Statement of structural induction
Xavier Leroy
Re: [TYPES] Statement of structural induction
Frédéric Blanqui
Re: [TYPES] Statement of structural induction
Paolo Giarrusso
Re: [TYPES] Statement of structural induction
Pierre Courtieu
Re: [TYPES] Statement of structural induction
Paolo Giarrusso
Re: [TYPES] Statement of structural induction
Albert R Meyer
Re: [TYPES] Statement of structural induction
Andreas Abel
Re: [TYPES] Statement of structural induction
Richard Eisenberg
Re: [TYPES] Statement of structural induction
Dan Doel
Re: [TYPES] Statement of structural induction
Frédéric Blanqui
[TYPES] judgemental eta for function types
Paul Blain Levy
Re: [TYPES] judgemental eta for function types
Andreas Abel
Re: [TYPES] judgemental eta for function types
Matthieu Sozeau
[TYPES] An Expressive Type System helping for run-time verification
Marco Servetto
Re: [TYPES] An Expressive Type System helping for run-time verification
Dorel Lucanu
[TYPES] I: On Dependent types and Subtyping's consistency
Giacomo Bergami
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Gabriel Scherer
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Sandro Stucki
Re: [TYPES] ?==?utf-8?q? ?==?utf-8?q? I: On Dependent types and Subtyping's consistency
Sergei Soloviev
Re: [TYPES] I: On Dependent types and Subtyping's consistency
DeLesley Hutchins
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Giuseppe Castagna
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Stefan Monnier
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Giacomo Bergami
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Giacomo Bergami
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Giacomo Bergami
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Frank Pfenning
Re: [TYPES] On Dependent types and Subtyping's consistency
Ken Kubota
Re: [TYPES] I: On Dependent types and Subtyping's consistency
Rodolphe Lepigre
[TYPES] subject reduction
J. R. Hindley
[TYPES] Subject reduction
Ansten Mørch Klev
[TYPES] Formal models of python-like languages
Halley Young
Re: [TYPES] Formal models of python-like languages
Alan Schmitt
Re: [TYPES] Formal models of python-like languages
James Cheney
Re: [TYPES] [TYPES/announce] subject reduction
Gabriel Scherer
[TYPES] temporal type theory book
David Spivak
[TYPES] subject reduction
Herman Geuvers
[TYPES] new moderator: Gabriel Scherer
Dimitrios Vytiniotis
Re: [TYPES] [TYPES/announce] new moderator: Gabriel Scherer
Benjamin C. Pierce
Re: [TYPES] [TYPES/announce] new moderator: Gabriel Scherer
Rishiyur Nikhil
Re: [TYPES] new moderator: Gabriel Scherer
Gabriel Scherer
[TYPES] Passing of Corrado Böhm
Mariangiola Dezani
[TYPES] Book on Category Theory
Aaron Gray
Re: [TYPES] Book on Category Theory
Gabriel Scherer
Re: [TYPES] Book on Category Theory
Giuseppe Castagna
Re: [TYPES] Book on Category Theory
Alan Schmitt
Re: [TYPES] Book on Category Theory
Uday S Reddy
Re: [TYPES] Book on Category Theory
Moez A. AbdelGawad
Re: [TYPES] Book on Category Theory
François Thiré
Re: [TYPES] Book on Category Theory
John Leo
Re: [TYPES] Book on Category Theory
Aaron Gray
Re: [TYPES] Book on Category Theory
Burak Emir
Re: [TYPES] Book on Category Theory
Dan Doel
Re: [TYPES] Book on Category Theory
Sean Leather
Re: [TYPES] Book on Category Theory
Gabriel Scherer
Re: [TYPES] Book on Category Theory
Aaron Gray
Re: [TYPES] Book on Category Theory
Aaron Gray
Re: [TYPES] Book on Category Theory
Gergely Buday
[TYPES] FW: Book on Category Theory
Dimitrios Vytiniotis
[TYPES] Meaning explanations and the invalidity of the law of excluded middle
Bruno Bentzen
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Ahmad Salim Al-Sibahi
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Andrej Bauer
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Andrej Bauer
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Bruno Bentzen
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Paolo Giarrusso
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Jon Sterling
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Paolo Giarrusso
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Bruno Bentzen
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Andrej Bauer
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Thomas Streicher
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Jon Sterling
Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Thomas Streicher
[TYPES] Inverse limit for categories
Arthur Azevedo de Amorim
[TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
Yang, Yanpeng
Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
James Koppel
Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
Christian Doczkal
Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
Yang, Yanpeng
[TYPES] What are congruence rules called?
Philip Wadler
Re: [TYPES] What are congruence rules called?
Filippo Sestini
Re: [TYPES] What are congruence rules called?
Francesco Gavazzo
Re: [TYPES] What are congruence rules called?
J. R. Hindley
Earlier messages