types-list  

Messages by Date

• 2026/03/21 Re: [TYPES] AI-generated conference submissions Michael Sperber
• 2026/03/20 Re: [TYPES] AI-generated conference submissions Hendrik Boom
• 2026/03/20 Re: [TYPES] AI-generated conference submissions Michael Shulman
• 2026/03/20 Re: [TYPES] AI-generated conference submissions Jeremy Gibbons
• 2026/03/20 Re: [TYPES] AI-generated conference submissions Gavin Mendel-Gleason
• 2026/03/18 Re: [TYPES] AI-generated conference submissions Hendrik Boom
• 2026/03/18 Re: [TYPES] AI-generated conference submissions Stephanie Balzer
• 2026/03/18 Re: [TYPES] AI-generated conference submissions Ralf Jung
• 2026/03/18 Re: [TYPES] AI-generated conference submissions Gergely Buday
• 2026/03/18 Re: [TYPES] AI-generated conference submissions vladi Sassone
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Michael Shulman
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Alcides Fonseca
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Neel Krishnaswami
• 2026/03/17 Re: [TYPES] AI-generated conference submissions mukesh tiwari
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Jonathan Aldrich
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Mae Milano
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Jon Sterling
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Alcides Fonseca
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Théo Winterhalter
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Mae Milano
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Anitha Gollamudi
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Jonathan Aldrich
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Klaus Ostermann
• 2026/03/17 Re: [TYPES] AI-generated conference submissions Jon Sterling
• 2026/03/16 Re: [TYPES] AI-generated conference submissions Mae Milano
• 2026/03/16 Re: [TYPES] AI-generated conference submissions Jonathan Aldrich
• 2026/03/16 [TYPES] AI-generated conference submissions Stephanie Balzer
• 2025/10/18 Re: [TYPES] Could we temporarily stop having conferences in the US? Derek Dreyer
• 2025/10/18 Re: [TYPES] Could we temporarily stop having conferences in the US? Artem Shinkarov
• 2025/10/18 Re: [TYPES] Could we temporarily stop having conferences in the US? Derek Dreyer
• 2025/10/18 Re: [TYPES] Could we temporarily stop having conferences in the US? Derek Dreyer
• 2025/10/17 Re: [TYPES] Could we temporarily stop having conferences in the US? Julia Belyakova
• 2025/09/28 Re: [TYPES] Could we temporarily stop having conferences in the US? Ningning Xie
• 2025/09/24 Re: [TYPES] Could we temporarily stop having conferences in the US? Alex Potanin
• 2025/09/24 Re: [TYPES] Could we temporarily stop having conferences in the US? Gabriel Scherer
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Fritz Henglein
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Alex Potanin
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Yao Li
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Gabriel Scherer
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Sam Lindley
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Peter Sewell
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Derek Dreyer
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Peter Sewell
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Niki Vazou
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Alex Potanin
• 2025/09/23 Re: [TYPES] Could we temporarily stop having conferences in the US? Wouter Swierstra
• 2025/09/22 Re: [TYPES] Could we temporarily stop having conferences in the US? Julia Belyakova
• 2025/09/22 Re: [TYPES] Could we temporarily stop having conferences in the US? Eijiro Sumii
• 2025/09/19 Re: [TYPES] Could we temporarily stop having conferences in the US? Andreas Rossberg
• 2025/09/19 [TYPES] Could we temporarily stop having conferences in the US? Gabriel Scherer
• 2025/09/19 Re: [TYPES] Could we temporarily stop having conferences in the US? Beta Ziliani
• 2025/08/29 Re: [TYPES] Identity extension for the system F term model Lars Birkedal
• 2025/08/28 Re: [TYPES] Types-list Digest, Vol 155, Issue 3 Hendrik Boom
• 2025/08/28 Re: [TYPES] Identity extension for the system F term model Andrew Polonsky
• 2025/08/28 Re: [TYPES] Identity extension for the system F term model Andrew Polonsky
• 2025/08/28 Re: [TYPES] Identity extension for the system F term model Michael Shulman
• 2025/08/28 Re: [TYPES] Identity extension for the system F term model Michael Shulman
• 2025/08/27 Re: [TYPES] Identity extension for the system F term model Andrew Polonsky
• 2025/08/27 Re: [TYPES] Types-list Digest, Vol 155, Issue 3 Ryan Wisnesky
• 2025/08/17 [TYPES] The "omega rule" in polymorphic lambda calculus Andrew Polonsky
• 2025/08/16 Re: [TYPES] Types-list Digest, Vol 155, Issue 3 Michael Shulman
• 2025/08/16 Re: [TYPES] Types-list Digest, Vol 155, Issue 3 Jon Sterling
• 2025/08/16 Re: [TYPES] Types-list Digest, Vol 155, Issue 3 Andrew Polonsky
• 2025/08/11 [TYPES] Identity extension for the system F term model Ryan Wisnesky
• 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

• Earlier messages