types-list  

Messages by Thread

• • Re: [TYPES] Congruence rules vs frames Derek Dreyer
  • Re: [TYPES] Congruence rules vs frames Jules Jacobs
• [TYPES] Annoucement: release of Java Typestate Checker Antonio Ravara
• [TYPES] Recovering functions from classical disjunction and negation Klaus Ostermann
  • Re: [TYPES] Recovering functions from classical disjunction and negation Gabriel Scherer
• [TYPES] Announcement: typestates in Rust Antonio Ravara
• [TYPES] Impredicative Set and large elimination Jonathan Chan
  • Re: [TYPES] Impredicative Set and large elimination Thomas Streicher
• [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software Roberto Di Cosmo
  • Re: [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software Roberto Di Cosmo
• [TYPES] Compiler correctness for a stack machine backend Anitha Gollamudi
  • Re: [TYPES] Compiler correctness for a stack machine backend Matt P. Dziubinski
  • Re: [TYPES] Compiler correctness for a stack machine backend Xavier Leroy
  • Re: [TYPES] Compiler correctness for a stack machine backend Tobias Nipkow
  • Re: [TYPES] Compiler correctness for a stack machine backend Anitha Gollamudi
• [TYPES] Free variables in TAPL’s constraint typing rules Grosso, Joshua T. (Joshua)
• [TYPES] Diamond open access, cost and sustainability model: a JOSS example Gabriel Scherer
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Roberto Di Cosmo
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Jon Sterling
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Tarmo Uustalu
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Gabriel Scherer
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Marco Servetto
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Tadeusz Litak
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Gabriel Scherer
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Gabriel Scherer
  • Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example Gabriel Scherer
• [TYPES] What's a program? (Seriously) Talia Ringer
  • Re: [TYPES] What's a program? (Seriously) Stefan Monnier
  • Re: [TYPES] What's a program? (Seriously) Gavin Mendel-Gleason
  • Re: [TYPES] What's a program? (Seriously) Martin Escardo
  • Re: [TYPES] What's a program? (Seriously) Martin Escardo
  • Re: [TYPES] What's a program? (Seriously) Talia Ringer
  • Re: [TYPES] What's a program? (Seriously) Martin Escardo
  • Re: [TYPES] What's a program? (Seriously) Hendrik Boom
  • Re: [TYPES] What's a program? (Seriously) Martin Escardo
  • Re: [TYPES] What's a program? (Seriously) Sergey Goncharov
  • Re: [TYPES] What's a program? (Seriously) Neel Krishnaswami
  • Re: [TYPES] What's a program? (Seriously) Ansten Mørch Klev
  • Re: [TYPES] What's a program? (Seriously) Freek Wiedijk
  • Re: [TYPES] What's a program? (Seriously) Sandro Stucki
  • Re: [TYPES] What's a program? (Seriously) Neel Krishnaswami
  • Re: [TYPES] What's a program? (Seriously) Talia Ringer
  • Re: [TYPES] What's a program? (Seriously) Thomas Streicher
  • Re: [TYPES] What's a program? (Seriously) Jason Gross
  • Re: [TYPES] What's a program? (Seriously) Gabriel Scherer
  • Re: [TYPES] What's a program? (Seriously) Thomas Streicher
  • Re: [TYPES] What's a program? (Seriously) Guillaume Munch-Maccagnoni
  • Re: [TYPES] What's a program? (Seriously) Tadeusz Litak
  • Re: [TYPES] What's a program? (Seriously) Jason Gross
  • Re: [TYPES] What's a program? (Seriously) Gabriel Scherer
  • Re: [TYPES] What's a program? (Seriously) Thomas Streicher
  • Re: [TYPES] What's a program? (Seriously) Neel Krishnaswami
  • Re: [TYPES] What's a program? (Seriously) Tarmo Uustalu
  • Re: [TYPES] What's a program? (Seriously) matthias
  • Re: [TYPES] What's a program? (Seriously) Oleg
  • Re: [TYPES] What's a program? (Seriously) Guillaume Munch-Maccagnoni
  • Re: [TYPES] What's a program? (Seriously) Nicolai Kraus
  • Re: [TYPES] What's a program? (Seriously) Oleg
  • Re: [TYPES] What's a program? (Seriously) Tom Hirschowitz
  • Re: [TYPES] What's a program? (Seriously) Hendrik Boom
  • Re: [TYPES] What's a program? (Seriously) Andrew Polonsky
  • Re: [TYPES] What's a program? (Seriously) streicher
  • Re: [TYPES] What's a program? (Seriously) Guillaume Munch-Maccagnoni
• [TYPES] Strong Normalization for Dependent Typed Calculus Anitha Gollamudi
• [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review [email protected]
  • Re: [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review Benjamin Pierce
• [TYPES] normalization by evaluation for strong sums for STLC Jason -Zhong Sheng- Hu
  • Re: [TYPES] normalization by evaluation for strong sums for STLC Neelakantan Krishnaswami
• [TYPES] Announcing a "types" Zulip Chat, experimental for now Gabriel Scherer
• [TYPES] typability in Curry-style System F Uwe Nestmann
  • Re: [TYPES] typability in Curry-style System F Paweł Urzyczyn
• [TYPES] Type systems for cryptographic proofs Talia Ringer
  • Re: [TYPES] Type systems for cryptographic proofs Gabriel Scherer
  • Re: [TYPES] Type systems for cryptographic proofs Mads Buch
  • Re: [TYPES] Type systems for cryptographic proofs Jelle Herold
• [TYPES] open letter: make POPL and future virtual conferences more inclusive Jonathan Aldrich
• [TYPES] Optimizing data representation Richard Eisenberg
  • Re: [TYPES] Optimizing data representation Stefan Monnier
  • Re: [TYPES] Optimizing data representation Richard Eisenberg
• [TYPES] Types for Units-of-Measure Rodney Brown
  • Re: [TYPES] Types for Units-of-Measure François Pottier
  • Re: [TYPES] [EXT] Re: Types for Units-of-Measure Reuben Rowe
  • Re: [TYPES] Types for Units-of-Measure Clemens Grelck
  • [TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure Rodney Brown
• [TYPES] Call for Papers - SPIN 2021 Laarman, A.W.
• [TYPES] Pledge in favor of open access Nguyễn Lê Thành Dũng
• [TYPES] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science" Nicolai Kraus
• [TYPES] what is "lexical" about "lexical scoping"? Norman Ramsey
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Michael Greenberg
  • Re: [TYPES] what is "lexical" about "lexical scoping"? selinger
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Stefan Monnier
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Hendrik Boom
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Norman Ramsey
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Robert Harper
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Rishiyur Nikhil
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Jacob Thomas Errington
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Simone Martini
  • Re: [TYPES] what is "lexical" about "lexical scoping"? Kim Bruce
• [TYPES] global debriefing over our virtual experience of conferences Flavien Breuvart
  • Re: [TYPES] global debriefing over our virtual experience of conferences Serguei Lenglet
  • Re: [TYPES] global debriefing over our virtual experience of conferences Gabriel Scherer
  • [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Talia Ringer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Michael Hicks
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Nicolai Kraus
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Henning Basold
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Nicolai Kraus
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Henning Basold
  • Re: [TYPES] online conferences should be free Stefan Monnier
  • Re: [TYPES] online conferences should be free Henning Basold
  • Re: [TYPES] online conferences should be free Nicolai Kraus
  • Re: [TYPES] online conferences should be free Kristina Sojakova
  • Re: [TYPES] [EXT] Re: online conferences should be free Reuben Rowe
  • Re: [TYPES] [EXT] Re: online conferences should be free Nicolai Kraus
  • Re: [TYPES] [EXT] Re: online conferences should be free Harley D. Eades III
  • [TYPES] Online vs travel Hendrik Boom
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Julia Belyakova
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Ralf Jung
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free Stefan Monnier
  • Re: [TYPES] online conferences should be free Stefan Monnier
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Mehmet Oguz Derin
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Alejandro Díaz-Caro
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Talia Ringer
  • Re: [TYPES] online conferences should be free Stefan Monnier
  • Re: [TYPES] online conferences should be free Benjamin Pierce
  • Re: [TYPES] online conferences should be free Alejandro Díaz-Caro
  • Re: [TYPES] online conferences should be free Hendrik Boom
  • Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences) Gabriel Scherer
  • Re: [TYPES] global debriefing over our virtual experience of conferences Talia Ringer
  • Re: [TYPES] global debriefing over our virtual experience of conferences Jon Sterling
  • Re: [TYPES] global debriefing over our virtual experience of conferences Talia Ringer
  • Re: [TYPES] global debriefing over our virtual experience of conferences Buday Gergely István
  • Re: [TYPES] global debriefing over our virtual experience of conferences Oleg
• [TYPES] artifacts for double blind submissions: what about copyright? Alan Schmitt
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? mukesh tiwari
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Eric Eide
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Gabriel Scherer
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Xavier Leroy
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Francis Davey
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Stefan Monnier
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Florian Weimer
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Tadeusz Litak
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Paolo Giarrusso
  • Re: [TYPES] artifacts for double blind submissions: what about copyright? Alan Schmitt
• [TYPES] [Announce]: biblatex-software package available for citing software artifacts Roberto Di Cosmo
• [TYPES] effect vs. coeffect expressiveness Jonathan Aldrich
  • Re: [TYPES] effect vs. coeffect expressiveness Flavien Breuvart
  • Re: [TYPES] effect vs. coeffect expressiveness Dominic Orchard
  • Re: [TYPES] effect vs. coeffect expressiveness Michael Arntzenius
  • Re: [TYPES] effect vs. coeffect expressiveness Marco Servetto
  • Re: [TYPES] effect vs. coeffect expressiveness Vikraman Choudhury
  • Re: [TYPES] effect vs. coeffect expressiveness Neel Krishnaswami
  • Re: [TYPES] effect vs. coeffect expressiveness Ralf Jung
  • Re: [TYPES] effect vs. coeffect expressiveness O'Hearn, Peter
  • Re: [TYPES] effect vs. coeffect expressiveness Aleksandar Nanevski
• Re: [TYPES] Guide to best practices for virtual conferences Tadeusz Litak
  • Re: [TYPES] Guide to best practices for virtual conferences Stefan Monnier
  • Re: [TYPES] Guide to best practices for virtual conferences Benjamin C. Pierce
• [TYPES] A question about the literature on monomorphisation Philip Wadler
  • Re: [TYPES] A question about the literature on monomorphisation Kalani Thielen
  • Re: [TYPES] A question about the literature on monomorphisation Philip Wadler
  • Re: [TYPES] A question about the literature on monomorphisation Kalani Thielen
• Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? moez
• [TYPES] Question about UIP and decidable equality Talia Ringer
  • [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Isaac
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Rodolphe Lepigre
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? François Pottier
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Paolo Giarrusso
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Isaac
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Martin Abadi
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Benjamin Lichtman
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Isaac
  • Re: [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases? Isaac
  • Re: [TYPES] Question about UIP and decidable equality Amin Timany
• [TYPES] [newbie contribution] C++ implementations + tests for TAPL Kareem Ergawy
• [TYPES] Signable open letter to OSTP regarding open access Matt Might
  • Re: [TYPES] Signable open letter to OSTP regarding open access Julia Belyakova
  • Re: [TYPES] Signable open letter to OSTP regarding open access Matt Might
  • Re: [TYPES] Signable open letter to OSTP regarding open access Matt Might
  • Re: [TYPES] Signable open letter to OSTP regarding open access marco caminati
• [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan Roberto Di Cosmo
  • Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan Michael Hicks
  • Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN selinger
  • Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN Robert Rand
• [TYPES] [[email protected]: Message from the ACM President Regarding Open Access] Hendrik Boom
• [TYPES] ACM recants Fritz Henglein
• [TYPES] Open Access petition to the ACM - please sign! Jonathan Aldrich
  • Re: [TYPES] Open Access petition to the ACM - please sign! Roberto Di Cosmo
  • Re: [TYPES] Open Access petition to the ACM - please sign! selinger
  • Re: [TYPES] Open Access petition to the ACM - please sign! Roberto Di Cosmo
  • Re: [TYPES] Open Access petition to the ACM - please sign! Bas Spitters
• Re: [TYPES] Types-list Digest, Vol 121, Issue 8 Valeria de Paiva
  • Re: [TYPES] Types-list Digest, Vol 121, Issue 8 Marco Servetto
  • Re: [TYPES] Types-list Digest, Vol 121, Issue 8 Roberto Di Cosmo
• [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

• Earlier messages
• Later messages