Messages by Date
-
2024/08/13
[TYPES] Printed copies of HOPL III and IV
Artem Pelenitsyn
-
2024/08/05
Re: [TYPES] Undergraduate internships in PL?
Anders Miltner
-
2024/07/15
Re: [TYPES] Undergraduate internships in PL?
xhuang
-
2024/07/11
[TYPES] Undergraduate internships in PL?
Joey Velez-Ginorio
-
2024/04/19
[TYPES] Unit types and Dependent Type Theory
Aaron Gray
-
2024/02/26
[TYPES] Giving semantics to universes with explicit universe polymorphism
Jason Hu
-
2024/02/09
[TYPES] Alan Jeffrey
Jeremy Gibbons
-
2024/02/06
[TYPES] Bibliography of Cyclic and Non-well-founded Proof Theory
Reuben Rowe
-
2024/02/05
Re: [TYPES] a naive question on datatype declarations
Richard Eisenberg
-
2024/01/29
Re: [TYPES] a naive question on datatype declarations
Gershom B
-
2024/01/29
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
-
2024/01/29
Re: [TYPES] a naive question on datatype declarations
Sandro Stucki
-
2024/01/29
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
-
2024/01/28
Re: [TYPES] a naive question on datatype declarations
Jonathan Aldrich
-
2024/01/28
Re: [TYPES] a naive question on datatype declarations
Rebecca Valentine
-
2024/01/27
Re: [TYPES] a naive question on datatype declarations
Kalani Thielen
-
2024/01/27
Re: [TYPES] a naive question on datatype declarations
Andreas Rossberg
-
2024/01/27
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
-
2024/01/26
[TYPES] a naive question on datatype declarations
Gershom B
-
2023/12/17
Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda
-
2023/12/16
Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Ohad Kammar
-
2023/12/16
[TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda
-
2023/12/15
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Ingle, Apoorv N
-
2023/12/15
Re: [TYPES] Why are ACM conference registrations so expensive now?
Neel Krishnaswami
-
2023/12/15
Re: [TYPES] Why are ACM conference registrations so expensive now?
Guilherme Espada
-
2023/12/15
Re: [TYPES] Why are ACM conference registrations so expensive now?
Stefan Monnier
-
2023/12/15
Re: [TYPES] Why are ACM conference registrations so expensive now?
Adam Chlipala
-
2023/12/15
Re: [TYPES] Why are ACM conference registrations so expensive now?
Guilherme Espada
-
2023/12/14
Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Peter Thiemann
-
2023/12/14
Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Jeff Foster
-
2023/12/14
Re: [TYPES] Why are ACM conference registrations so expensive now?
Sam Lindley
-
2023/12/14
Re: [TYPES] Why are ACM conference registrations so expensive now?
Stefan Monnier
-
2023/12/14
Re: [TYPES] Why are ACM conference registrations so expensive now?
Adam Chlipala
-
2023/12/14
Re: [TYPES] Why are ACM conference registrations so expensive now?
Gabriel Scherer
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Fabian Muehlboeck
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Eijiro Sumii
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
William J. Bowman
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Derek Dreyer
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Hugo Herbelin
-
2023/12/13
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Fritz Henglein
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jules Jacobs
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Martin Lester
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jonathan Aldrich
-
2023/12/13
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Caleb Stanford
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jon Sterling
-
2023/12/13
Re: [TYPES] Why are ACM conference registrations so expensive now?
Gardner, Philippa A
-
2023/12/13
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Ingle, Apoorv N
-
2023/12/13
[TYPES] Why are ACM conference registrations so expensive now?
Neel Krishnaswami
-
2023/11/22
[TYPES] chair of cybersecurity at the hardware/software interface
Radu Iosif
-
2023/08/03
Re: [TYPES] Peter Aczel
amp12
-
2023/07/11
[TYPES] Consistency of Quine’s New Foundations
Gabbay, Jamie
-
2023/06/26
Re: [TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
-
2023/06/24
Re: [TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
-
2023/06/13
Re: [TYPES] Equivalence invariance for MLTT (reference request)
Jon Sterling
-
2023/06/13
[TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
-
2023/05/31
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
-
2023/05/24
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Paul Levy
-
2023/05/22
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Luca
-
2023/05/22
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
-
2023/05/19
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Sergey Goncharov
-
2023/05/19
[TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
-
2023/02/24
Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
-
2023/02/17
Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
-
2023/02/16
[TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
-
2022/12/27
[TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems.
Aaron Gray
-
2022/12/21
Re: [TYPES] TaPL Course?
Spertus, Mike
-
2022/12/20
Re: [TYPES] TaPL Course?
Frank Pfenning
-
2022/12/20
Re: [TYPES] TaPL Course?
Andreas Nuyts
-
2022/12/17
Re: [TYPES] TaPL Course?
Alejandro Díaz-Caro
-
2022/12/17
[TYPES] TaPL Course?
Robert Rand
-
2022/09/17
[TYPES] Martin-Löf transcriptions
Ansten Mørch Klev
-
2022/08/24
Re: [TYPES] Type theory of file formats
Kalani Thielen
-
2022/08/24
Re: [TYPES] Type theory of file formats
Jimmy Koppel
-
2022/08/22
Re: [TYPES] Type theory of file formats
Kalani Thielen
-
2022/08/22
Re: [TYPES] Type theory of file formats
Jimmy Koppel
-
2022/08/22
Re: [TYPES] Type theory of file formats
Jimmy Koppel
-
2022/08/19
[TYPES] Type theory of file formats
Jimmy Koppel
-
2022/08/17
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Meven LENNON-BERTRAND
-
2022/08/16
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
-
2022/08/16
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Sandro Stucki
-
2022/08/16
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Jason Hu
-
2022/08/15
[TYPES] reference request: MLTT with Russell's non-cumulative universes
Jason Hu
-
2022/07/15
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
-
2022/06/24
[TYPES] Semantics of modes in logic programming?
Neel Krishnaswami
-
2022/06/24
Re: [TYPES] subtyping of mutually recursive algebraic data types
Mark Sheldon
-
2022/06/24
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
-
2022/06/24
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
-
2022/06/22
Re: [TYPES] subtyping of mutually recursive algebraic data types
Roberto Di Cosmo
-
2022/06/19
Re: [TYPES] subtyping of mutually recursive algebraic data types
Giuseppe Castagna
-
2022/06/18
Re: [TYPES] subtyping of mutually recursive algebraic data types
Frank Pfenning
-
2022/06/18
Re: [TYPES] subtyping of mutually recursive algebraic data types
Mark Sheldon
-
2022/06/17
[TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
-
2022/06/13
Re: [TYPES] What is the term after reduction called?
Jon Sterling
-
2022/06/12
Re: [TYPES] What is the term after reduction called?
Hendrik Boom
-
2022/06/12
Re: [TYPES] What is the term after reduction called?
Fritz Henglein
-
2022/06/12
Re: [TYPES] What is the term after reduction called?
J. R. Hindley
-
2022/06/09
[TYPES] What is the term after reduction called?
Fangyi Zhou
-
2022/05/27
[TYPES] A Paper: "Type System as Homomorphism between Monoids"
xieyuheng
-
2022/05/27
[TYPES] A new dependently typed language: Cicada Language
xieyuheng
-
2022/05/25
Re: [TYPES] Writing syntactic models with "full information"
Paul Blain Levy
-
2022/05/25
Re: [TYPES] Writing syntactic models with "full information"
Jon Sterling
-
2022/05/25
Re: [TYPES] Writing syntactic models with "full information"
Jason Hu
-
2022/05/25
Re: [TYPES] Writing syntactic models with "full information"
Jason Hu
-
2022/05/25
Re: [TYPES] Writing syntactic models with "full information"
Ambrus Kaposi
-
2022/05/23
Re: [TYPES] Writing syntactic models with "full information"
Andreas Nuyts
-
2022/05/23
Re: [TYPES] Writing syntactic models with "full information"
Craig McLaughlin
-
2022/05/23
Re: [TYPES] Writing syntactic models with "full information"
Andreas Nuyts
-
2022/05/23
Re: [TYPES] Writing syntactic models with "full information"
Jonathan Chan
-
2022/05/18
Re: [TYPES] [meta] URL rewriting notice
Gabriel Scherer
-
2022/05/12
Re: [TYPES] [meta] URL rewriting notice
Richard Eisenberg
-
2022/05/12
Re: [TYPES] [meta] URL rewriting notice
Ralf Jung
-
2022/05/12
Re: [TYPES] [meta] URL rewriting notice
Gabriel Scherer
-
2022/04/24
[TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure
Rodney Brown
-
2022/03/19
[TYPES] Annotating an AST with (existential) types, with ordered contexts - à la Dunfield Krishnaswami
Vanessa McHale
-
2022/03/19
[TYPES] Mendler's paper - Recursive Types and Type Constraints in Second-Order Lambda Calculus
Aaron Gray
-
2022/03/11
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
-
2022/03/11
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Ross Horne
-
2022/03/11
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Xuanrui Qi
-
2022/03/10
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Apostolos Syropoulos
-
2022/03/10
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Talia Ringer
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Xuanrui Qi
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Nicolai Kraus
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Martin Lester
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Jon Sterling
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Fritz Henglein
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Talia Ringer
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julia Belyakova
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Jonathan Aldrich
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Max New
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julia Belyakova
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Philip Wadler
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Alejandro Díaz-Caro
-
2022/03/09
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julin S
-
2022/03/09
Re: [TYPES] Types-list Digest, Vol 140, Issue 1
Ana Sokolova
-
2022/03/09
Re: [TYPES] ETAPS bars Russian researchers from attending
Ricardo Medel
-
2022/03/09
[TYPES] R: ETAPS bars Russian researchers from attending
Marino Miculan
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Donaldson, Alastair F
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Sergey Goncharov
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Ralf Jung
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Jon Sterling
-
2022/03/08
Re: [TYPES] ETAPS bars Russian researchers from attending
Talia Ringer
-
2022/03/08
[TYPES] ETAPS bars Russian researchers from attending
Neel Krishnaswami
-
2022/03/01
[TYPES] Consistency of NF
Jamie
-
2022/02/20
Re: [TYPES] Request: Papers to understand Nordic logic talk
Rishiyur Nikhil
-
2022/02/19
[TYPES] Request: Papers to understand Nordic logic talk
Julin S
-
2022/01/03
Re: [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Clément Aubert
-
2022/01/03
Re: [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Jon Sterling
-
2022/01/03
[TYPES] Postdoctoral Research Assistant position at University of Edinburgh
Philip Wadler
-
2021/12/27
Re: [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Clément Aubert
-
2021/12/16
[TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Aaron Gray
-
2021/12/16
[TYPES] Wanted: Nancy McCracken's Ph.D Thesis - An Investigation of a Programming Language with a Polymorphic Type Structure
Aaron Gray
-
2021/12/10
[TYPES] screencast series on the lambda cube
Uwe Nestmann
-
2021/10/12
Re: [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Roberto Di Cosmo
-
2021/10/10
Re: [TYPES] Congruence rules vs frames
Jules Jacobs
-
2021/10/10
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
-
2021/10/10
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
-
2021/10/10
Re: [TYPES] Congruence rules vs frames
Philip Wadler
-
2021/10/09
Re: [TYPES] Congruence rules vs frames
Jules Jacobs
-
2021/10/09
Re: [TYPES] Congruence rules vs frames
Gan Shen
-
2021/10/09
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
-
2021/10/09
[TYPES] Congruence rules vs frames
Philip Wadler
-
2021/09/09
[TYPES] Annoucement: release of Java Typestate Checker
Antonio Ravara
-
2021/08/28
Re: [TYPES] Recovering functions from classical disjunction and negation
Gabriel Scherer
-
2021/08/28
[TYPES] Recovering functions from classical disjunction and negation
Klaus Ostermann
-
2021/07/30
[TYPES] Announcement: typestates in Rust
Antonio Ravara
-
2021/07/28
Re: [TYPES] Impredicative Set and large elimination
Thomas Streicher
-
2021/07/28
[TYPES] Impredicative Set and large elimination
Jonathan Chan
-
2021/07/19
[TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Roberto Di Cosmo
-
2021/07/08
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2021/07/01
Re: [TYPES] Compiler correctness for a stack machine backend
Anitha Gollamudi
-
2021/06/29
Re: [TYPES] Compiler correctness for a stack machine backend
Tobias Nipkow
-
2021/06/26
Re: [TYPES] Compiler correctness for a stack machine backend
Xavier Leroy
-
2021/06/26
Re: [TYPES] Compiler correctness for a stack machine backend
Matt P. Dziubinski
-
2021/06/26
[TYPES] Compiler correctness for a stack machine backend
Anitha Gollamudi
-
2021/06/07
Re: [TYPES] online conferences should be free
Hendrik Boom
-
2021/06/07
Re: [TYPES] online conferences should be free
Stefan Monnier
-
2021/06/06
Re: [TYPES] online conferences should be free
Alejandro Díaz-Caro
-
2021/06/06
Re: [TYPES] online conferences should be free
Benjamin Pierce
-
2021/06/06
Re: [TYPES] online conferences should be free
Stefan Monnier
-
2021/06/05
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Talia Ringer
-
2021/06/05
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Alejandro Díaz-Caro
-
2021/06/04
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
-
2021/06/04
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
-
2021/06/04
Re: [TYPES] What's a program? (Seriously)
Hendrik Boom
-
2021/06/04
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Mehmet Oguz Derin
-
2021/06/04
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
-
2021/06/04
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2021/06/04
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Tadeusz Litak
-
2021/06/04
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Marco Servetto
-
2021/06/04
Re: [TYPES] What's a program? (Seriously)
Tom Hirschowitz
-
2021/06/03
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
-
2021/06/03
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Tarmo Uustalu
-
2021/06/01
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Jon Sterling
-
2021/05/31
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Roberto Di Cosmo