Messages by Date
-
2021/05/30
[TYPES] Free variables in TAPL’s constraint typing rules
Grosso, Joshua T. (Joshua)
-
2021/05/30
[TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
-
2021/05/23
Re: [TYPES] What's a program? (Seriously)
Guillaume Munch-Maccagnoni
-
2021/05/23
Re: [TYPES] What's a program? (Seriously)
streicher
-
2021/05/23
Re: [TYPES] What's a program? (Seriously)
Andrew Polonsky
-
2021/05/22
Re: [TYPES] What's a program? (Seriously)
Guillaume Munch-Maccagnoni
-
2021/05/21
Re: [TYPES] What's a program? (Seriously)
Guillaume Munch-Maccagnoni
-
2021/05/21
Re: [TYPES] What's a program? (Seriously)
Oleg
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
matthias
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
Tarmo Uustalu
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
Thomas Streicher
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
Neel Krishnaswami
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
Nicolai Kraus
-
2021/05/20
Re: [TYPES] What's a program? (Seriously)
Gabriel Scherer
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Jason Gross
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Tadeusz Litak
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Thomas Streicher
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Gabriel Scherer
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Hendrik Boom
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Jason Gross
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Thomas Streicher
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Oleg
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Talia Ringer
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Neel Krishnaswami
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Freek Wiedijk
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Sandro Stucki
-
2021/05/19
Re: [TYPES] What's a program? (Seriously)
Ansten Mørch Klev
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Neel Krishnaswami
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Gavin Mendel-Gleason
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Talia Ringer
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Sergey Goncharov
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
-
2021/05/18
Re: [TYPES] What's a program? (Seriously)
Stefan Monnier
-
2021/05/18
[TYPES] What's a program? (Seriously)
Talia Ringer
-
2021/05/13
[TYPES] Strong Normalization for Dependent Typed Calculus
Anitha Gollamudi
-
2021/04/19
Re: [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review
Benjamin Pierce
-
2021/04/19
[TYPES] Practical Foundations for Programming Languages : 2e : Requesting review
em...@mayureshkathe.com
-
2021/03/30
Re: [TYPES] normalization by evaluation for strong sums for STLC
Neelakantan Krishnaswami
-
2021/03/29
[TYPES] normalization by evaluation for strong sums for STLC
Jason -Zhong Sheng- Hu
-
2021/03/03
[TYPES] Announcing a "types" Zulip Chat, experimental for now
Gabriel Scherer
-
2021/02/09
Re: [TYPES] typability in Curry-style System F
Paweł Urzyczyn
-
2021/02/09
[TYPES] typability in Curry-style System F
Uwe Nestmann
-
2021/01/26
Re: [TYPES] Type systems for cryptographic proofs
Jelle Herold
-
2021/01/25
Re: [TYPES] Type systems for cryptographic proofs
Mads Buch
-
2021/01/25
Re: [TYPES] Type systems for cryptographic proofs
Gabriel Scherer
-
2021/01/25
[TYPES] Type systems for cryptographic proofs
Talia Ringer
-
2020/12/23
[TYPES] open letter: make POPL and future virtual conferences more inclusive
Jonathan Aldrich
-
2020/12/10
Re: [TYPES] Optimizing data representation
Richard Eisenberg
-
2020/12/10
Re: [TYPES] Optimizing data representation
Stefan Monnier
-
2020/12/09
[TYPES] Optimizing data representation
Richard Eisenberg
-
2020/11/16
Re: [TYPES] Types for Units-of-Measure
Clemens Grelck
-
2020/11/09
Re: [TYPES] [EXT] Re: Types for Units-of-Measure
Reuben Rowe
-
2020/11/09
Re: [TYPES] Types for Units-of-Measure
François Pottier
-
2020/11/09
[TYPES] Types for Units-of-Measure
Rodney Brown
-
2020/11/05
[TYPES] Call for Papers - SPIN 2021
Laarman, A.W.
-
2020/09/27
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2020/09/14
[TYPES] Pledge in favor of open access
Nguyễn Lê Thành Dũng
-
2020/09/08
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2020/08/27
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Ralf Jung
-
2020/08/26
[TYPES] Online vs travel
Hendrik Boom
-
2020/08/26
Re: [TYPES] [EXT] Re: online conferences should be free
Harley D. Eades III
-
2020/08/26
Re: [TYPES] [EXT] Re: online conferences should be free
Nicolai Kraus
-
2020/08/25
Re: [TYPES] [EXT] Re: online conferences should be free
Reuben Rowe
-
2020/08/25
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Julia Belyakova
-
2020/08/25
Re: [TYPES] online conferences should be free
Stefan Monnier
-
2020/08/25
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2020/08/25
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2020/08/25
Re: [TYPES] online conferences should be free
Kristina Sojakova
-
2020/08/24
Re: [TYPES] online conferences should be free
Stefan Monnier
-
2020/08/24
Re: [TYPES] online conferences should be free
Henning Basold
-
2020/08/24
Re: [TYPES] online conferences should be free
Nicolai Kraus
-
2020/08/24
Re: [TYPES] global debriefing over our virtual experience of conferences
Buday Gergely István
-
2020/08/24
Re: [TYPES] global debriefing over our virtual experience of conferences
Oleg
-
2020/08/24
Re: [TYPES] global debriefing over our virtual experience of conferences
Talia Ringer
-
2020/08/24
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Henning Basold
-
2020/08/23
Re: [TYPES] global debriefing over our virtual experience of conferences
Jon Sterling
-
2020/08/23
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Nicolai Kraus
-
2020/08/23
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Henning Basold
-
2020/08/23
[TYPES] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"
Nicolai Kraus
-
2020/08/23
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Nicolai Kraus
-
2020/08/23
Re: [TYPES] global debriefing over our virtual experience of conferences
Talia Ringer
-
2020/08/23
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Michael Hicks
-
2020/08/23
Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Talia Ringer
-
2020/08/23
[TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Gabriel Scherer
-
2020/08/23
Re: [TYPES] global debriefing over our virtual experience of conferences
Gabriel Scherer
-
2020/08/21
Re: [TYPES] global debriefing over our virtual experience of conferences
Serguei Lenglet
-
2020/08/03
Re: [TYPES] what is "lexical" about "lexical scoping"?
Hendrik Boom
-
2020/08/03
Re: [TYPES] what is "lexical" about "lexical scoping"?
Robert Harper
-
2020/08/03
Re: [TYPES] what is "lexical" about "lexical scoping"?
Norman Ramsey
-
2020/08/03
Re: [TYPES] what is "lexical" about "lexical scoping"?
Stefan Monnier
-
2020/08/02
Re: [TYPES] what is "lexical" about "lexical scoping"?
selinger
-
2020/08/02
Re: [TYPES] what is "lexical" about "lexical scoping"?
Kim Bruce
-
2020/08/01
Re: [TYPES] what is "lexical" about "lexical scoping"?
Simone Martini
-
2020/08/01
Re: [TYPES] what is "lexical" about "lexical scoping"?
Jacob Thomas Errington
-
2020/08/01
Re: [TYPES] what is "lexical" about "lexical scoping"?
Rishiyur Nikhil
-
2020/08/01
Re: [TYPES] what is "lexical" about "lexical scoping"?
Michael Greenberg
-
2020/07/30
[TYPES] what is "lexical" about "lexical scoping"?
Norman Ramsey
-
2020/07/28
[TYPES] global debriefing over our virtual experience of conferences
Flavien Breuvart
-
2020/06/22
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Alan Schmitt
-
2020/06/22
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Paolo Giarrusso
-
2020/06/22
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Tadeusz Litak
-
2020/06/21
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Florian Weimer
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Stefan Monnier
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Francis Davey
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Xavier Leroy
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Gabriel Scherer
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
Eric Eide
-
2020/06/20
Re: [TYPES] artifacts for double blind submissions: what about copyright?
mukesh tiwari
-
2020/06/20
[TYPES] artifacts for double blind submissions: what about copyright?
Alan Schmitt
-
2020/05/06
[TYPES] [Announce]: biblatex-software package available for citing software artifacts
Roberto Di Cosmo
-
2020/05/03
Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN
Robert Rand
-
2020/05/02
Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN
selinger
-
2020/05/01
Re: [TYPES] effect vs. coeffect expressiveness
O'Hearn, Peter
-
2020/05/01
Re: [TYPES] effect vs. coeffect expressiveness
Marco Servetto
-
2020/05/01
Re: [TYPES] effect vs. coeffect expressiveness
Ralf Jung
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Neel Krishnaswami
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Michael Arntzenius
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Aleksandar Nanevski
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Vikraman Choudhury
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Dominic Orchard
-
2020/04/30
Re: [TYPES] effect vs. coeffect expressiveness
Flavien Breuvart
-
2020/04/29
[TYPES] effect vs. coeffect expressiveness
Jonathan Aldrich
-
2020/04/14
Re: [TYPES] Guide to best practices for virtual conferences
Benjamin C. Pierce
-
2020/04/14
Re: [TYPES] Guide to best practices for virtual conferences
Stefan Monnier
-
2020/04/13
Re: [TYPES] Guide to best practices for virtual conferences
Tadeusz Litak
-
2020/03/30
Re: [TYPES] A question about the literature on monomorphisation
Kalani Thielen
-
2020/03/30
Re: [TYPES] A question about the literature on monomorphisation
Philip Wadler
-
2020/03/26
Re: [TYPES] A question about the literature on monomorphisation
Kalani Thielen
-
2020/03/26
[TYPES] A question about the literature on monomorphisation
Philip Wadler
-
2020/03/02
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Isaac
-
2020/02/24
Re: [TYPES] Signable open letter to OSTP regarding open access
marco caminati
-
2020/02/24
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Isaac
-
2020/02/24
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Isaac
-
2020/02/23
Re: [TYPES] Signable open letter to OSTP regarding open access
Matt Might
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Benjamin Lichtman
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Martin Abadi
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Paolo Giarrusso
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
François Pottier
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Rodolphe Lepigre
-
2020/02/18
Re: [TYPES] Question about UIP and decidable equality
Amin Timany
-
2020/02/18
Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
moez
-
2020/02/17
[TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?
Isaac
-
2020/02/17
[TYPES] Question about UIP and decidable equality
Talia Ringer
-
2020/02/05
[TYPES] [newbie contribution] C++ implementations + tests for TAPL
Kareem Ergawy
-
2020/01/23
Re: [TYPES] Signable open letter to OSTP regarding open access
Matt Might
-
2020/01/23
Re: [TYPES] Signable open letter to OSTP regarding open access
Julia Belyakova
-
2020/01/23
[TYPES] Signable open letter to OSTP regarding open access
Matt Might
-
2020/01/14
Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan
Michael Hicks
-
2020/01/12
[TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan
Roberto Di Cosmo
-
2020/01/09
[TYPES] [acmbulle...@acm.org: Message from the ACM President Regarding Open Access]
Hendrik Boom
-
2020/01/09
[TYPES] ACM recants
Fritz Henglein
-
2020/01/09
Re: [TYPES] Open Access petition to the ACM - please sign!
Bas Spitters
-
2020/01/08
Re: [TYPES] Open Access petition to the ACM - please sign!
Roberto Di Cosmo
-
2020/01/08
Re: [TYPES] Open Access petition to the ACM - please sign!
selinger
-
2020/01/08
Re: [TYPES] Open Access petition to the ACM - please sign!
Roberto Di Cosmo
-
2020/01/06
[TYPES] Open Access petition to the ACM - please sign!
Jonathan Aldrich
-
2019/12/28
Re: [TYPES] Types-list Digest, Vol 121, Issue 8
Roberto Di Cosmo
-
2019/12/25
Re: [TYPES] Types-list Digest, Vol 121, Issue 8
Marco Servetto
-
2019/12/25
Re: [TYPES] Types-list Digest, Vol 121, Issue 8
Valeria de Paiva
-
2019/12/25
Re: [TYPES] Types-list Digest, Vol 121, Issue 4
Andrew Myers
-
2019/12/25
[TYPES] Open Access: a bit of background (Was: Re: In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles)
Roberto Di Cosmo
-
2019/12/23
Re: [TYPES] In a letter to the US White House,
Gabriel Scherer
-
2019/12/22
Re: [TYPES] In a letter to the US White House,
Robert Rand
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Cristina Videira Lopes
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Derek Dreyer
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Tadeusz Litak
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Andrew Myers
-
2019/12/22
Re: [TYPES] Types-list Digest, Vol 121, Issue 4
jan Vitek
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Stefan Monnier
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
-
2019/12/22
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Andrew Myers
-
2019/12/22
Re: [TYPES] In a letter to the US White House,
selinger
-
2019/12/21
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
-
2019/12/20
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Roberto Di Cosmo
-
2019/12/20
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Rishiyur Nikhil
-
2019/12/20
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Stefan Monnier
-
2019/12/20
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Tim Sweeney
-
2019/12/20
Re: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Jonathan Aldrich
-
2019/12/20
[TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
-
2019/12/04
[TYPES] Summary of tricks for setting figures of rules in LaTeX
Norman Ramsey
-
2019/11/28
Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Peter Sewell
-
2019/11/28
Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
William J. Bowman
-
2019/11/28
Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Filip Sieczkowski
-
2019/11/28
Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Gabriel Scherer
-
2019/11/28
Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Elias Castegren
-
2019/11/27
[TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Norman Ramsey
-
2019/07/30
Re: [TYPES] An order-theoretic approach to OO generics
moez
-
2019/07/24
Re: [TYPES] Example uses of impredicativity
Matthieu Sozeau
-
2019/07/08
Re: [TYPES] Example uses of impredicativity
Beta Ziliani
-
2019/07/08
Re: [TYPES] Example uses of impredicativity
Benjamin C. Pierce
-
2019/07/06
Re: [TYPES] Example uses of impredicativity
Martin Escardo
-
2019/07/06
Re: [TYPES] Example uses of impredicativity
William J. Bowman
-
2019/07/05
[TYPES] Example uses of impredicativity
Stefan Monnier
-
2019/06/27
[TYPES] An order-theoretic approach to OO generics
moez
-
2019/06/18
Re: [TYPES] What exactly should we call syntax-directed inference rules?
Julia Belyakova
-
2019/06/17
Re: [TYPES] What exactly should we call syntax-directed inference rules?
Frank Pfenning
-
2019/06/17
Re: [TYPES] What exactly should we call syntax-directed inference rules?
Julia Belyakova