2020 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jan 5 17:06:05 EST 2020
Ending: Mon Dec 21 22:43:01 EST 2020
Messages: 112

• [TYPES] [acmbulletin at acm.org: Message from the ACM President Regarding Open Access]   Hendrik Boom
• [TYPES] [Announce]: biblatex-software package available for citing software artifacts   Roberto Di Cosmo
• [TYPES] [EXT] Re: online conferences should be free   Reuben Rowe
• [TYPES] [EXT] Re: online conferences should be free   Nicolai Kraus
• [TYPES] [EXT] Re: online conferences should be free   Harley D. Eades III
• [TYPES] [EXT] Re: Types for Units-of-Measure   Reuben Rowe
• [TYPES] [newbie contribution] C++ implementations + tests for TAPL   Kareem Ergawy
• [TYPES] ACM recants   Fritz Henglein
• [TYPES] A question about the literature on monomorphisation   Philip Wadler
• [TYPES] A question about the literature on monomorphisation   Kalani Thielen
• [TYPES] A question about the literature on monomorphisation   Philip Wadler
• [TYPES] A question about the literature on monomorphisation   Kalani Thielen
• [TYPES] artifacts for double blind submissions: what about copyright?   Alan Schmitt
• [TYPES] artifacts for double blind submissions: what about copyright?   mukesh tiwari
• [TYPES] artifacts for double blind submissions: what about copyright?   Eric Eide
• [TYPES] artifacts for double blind submissions: what about copyright?   Gabriel Scherer
• [TYPES] artifacts for double blind submissions: what about copyright?   Xavier Leroy
• [TYPES] artifacts for double blind submissions: what about copyright?   Stefan Monnier
• [TYPES] artifacts for double blind submissions: what about copyright?   Francis Davey
• [TYPES] artifacts for double blind submissions: what about copyright?   Florian Weimer
• [TYPES] artifacts for double blind submissions: what about copyright?   Tadeusz Litak
• [TYPES] artifacts for double blind submissions: what about copyright?   Paolo Giarrusso
• [TYPES] artifacts for double blind submissions: what about copyright?   Alan Schmitt
• [TYPES] Call for Papers - SPIN 2021   Laarman, A.W.
• [TYPES] effect vs. coeffect expressiveness   Jonathan Aldrich
• [TYPES] effect vs. coeffect expressiveness   Flavien Breuvart
• [TYPES] effect vs. coeffect expressiveness   Dominic Orchard
• [TYPES] effect vs. coeffect expressiveness   Aleksandar Nanevski
• [TYPES] effect vs. coeffect expressiveness   Vikraman Choudhury
• [TYPES] effect vs. coeffect expressiveness   Michael Arntzenius
• [TYPES] effect vs. coeffect expressiveness   Neel Krishnaswami
• [TYPES] effect vs. coeffect expressiveness   Marco Servetto
• [TYPES] effect vs. coeffect expressiveness   Ralf Jung
• [TYPES] effect vs. coeffect expressiveness   O'Hearn, Peter
• [TYPES] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"   Nicolai Kraus
• [TYPES] global debriefing over our virtual experience of conferences   Flavien Breuvart
• [TYPES] global debriefing over our virtual experience of conferences   Serguei Lenglet
• [TYPES] global debriefing over our virtual experience of conferences   Gabriel Scherer
• [TYPES] global debriefing over our virtual experience of conferences   Talia Ringer
• [TYPES] global debriefing over our virtual experience of conferences   Jon Sterling
• [TYPES] global debriefing over our virtual experience of conferences   Talia Ringer
• [TYPES] global debriefing over our virtual experience of conferences   Buday Gergely István
• [TYPES] global debriefing over our virtual experience of conferences   Oleg
• [TYPES] Guide to best practices for virtual conferences   Tadeusz Litak
• [TYPES] Guide to best practices for virtual conferences   Benjamin C. Pierce
• [TYPES] Guide to best practices for virtual conferences   Stefan Monnier
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Isaac
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   moez at cs.rice.edu
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Rodolphe Lepigre
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   François Pottier
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Paolo Giarrusso
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Martin Abadi
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Benjamin Lichtman
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Isaac
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Isaac
• [TYPES] Has anyone seen a language with sub-typing and recursive parametric type aliases?   Isaac
• [TYPES] online conferences should be free   Stefan Monnier
• [TYPES] online conferences should be free   Henning Basold
• [TYPES] online conferences should be free   Nicolai Kraus
• [TYPES] online conferences should be free   Kristina Sojakova
• [TYPES] online conferences should be free   Stefan Monnier
• [TYPES] online conferences should be free (was: 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)   Talia Ringer
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Michael Hicks
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Nicolai Kraus
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Henning Basold
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Nicolai Kraus
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Henning Basold
• [TYPES] online conferences should be free (was: 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
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Julia Belyakova
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Ralf Jung
• [TYPES] online conferences should be free (was: 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
• [TYPES] Online vs travel   Hendrik Boom
• [TYPES] Open Access petition to the ACM - please sign!   Jonathan Aldrich
• [TYPES] Open Access petition to the ACM - please sign!   Roberto Di Cosmo
• [TYPES] Open Access petition to the ACM - please sign!   selinger at mathstat.dal.ca
• [TYPES] Open Access petition to the ACM - please sign!   Roberto Di Cosmo
• [TYPES] Open Access petition to the ACM - please sign!   Bas Spitters
• [TYPES] open letter: make POPL and future virtual conferences more inclusive   Jonathan Aldrich
• [TYPES] Optimizing data representation   Richard Eisenberg
• [TYPES] Optimizing data representation   Stefan Monnier
• [TYPES] Optimizing data representation   Richard Eisenberg
• [TYPES] Pledge in favor of open access   Nguyễn Lê Thành Dũng
• [TYPES] Question about UIP and decidable equality   Talia Ringer
• [TYPES] Question about UIP and decidable equality   Amin Timany
• [TYPES] Signable open letter to OSTP regarding open access   Matt Might
• [TYPES] Signable open letter to OSTP regarding open access   Julia Belyakova
• [TYPES] Signable open letter to OSTP regarding open access   Matt Might
• [TYPES] Signable open letter to OSTP regarding open access   Matt Might
• [TYPES] Signable open letter to OSTP regarding open access   marco caminati
• [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN   selinger at mathstat.dal.ca
• [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN   Robert Rand
• [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan   Roberto Di Cosmo
• [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN transformative plan   Michael Hicks
• [TYPES] Types for Units-of-Measure   Rodney Brown
• [TYPES] Types for Units-of-Measure   François Pottier
• [TYPES] Types for Units-of-Measure   Clemens Grelck
• [TYPES] what is "lexical" about "lexical scoping"?   Norman Ramsey
• [TYPES] what is "lexical" about "lexical scoping"?   Rishiyur Nikhil
• [TYPES] what is "lexical" about "lexical scoping"?   Simone Martini
• [TYPES] what is "lexical" about "lexical scoping"?   Jacob Thomas Errington
• [TYPES] what is "lexical" about "lexical scoping"?   Michael Greenberg
• [TYPES] what is "lexical" about "lexical scoping"?   Kim Bruce
• [TYPES] what is "lexical" about "lexical scoping"?   selinger at mathstat.dal.ca
• [TYPES] what is "lexical" about "lexical scoping"?   Robert Harper
• [TYPES] what is "lexical" about "lexical scoping"?   Stefan Monnier
• [TYPES] what is "lexical" about "lexical scoping"?   Norman Ramsey
• [TYPES] what is "lexical" about "lexical scoping"?   Hendrik Boom
• [TYPES] what is "lexical" about "lexical scoping"?   Florian Weimer
• [TYPES] Where does the name "algebraic data types" come from?   Li-yao Xia

Last message date: Mon Dec 21 22:43:01 EST 2020
Archived on: Wed Dec 23 12:36:51 EST 2020

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...