Types-list -- TYPES forum


The TYPES Forum
English (USA)
TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject encompassing semantical, categorical, operational, and proof theoretical topics, as well as algorithmic issues and applications. Typical topics include:
Typed, untyped, or polymorphic lambda calculus; type checking, inference, and reconstruction; subtyping, dependent types, calculus of constructions, the lambda cube; linear logic, the Curry-Howard correspondence; recursive types; adequate and fully abstract models; domain theory; category theory; term reduction, normalization, confluence; abstract data types; type systems for object-oriented, concurrent, distributed, and mobile programming.
Comments and criticisms of results in the literature, open problems, and research queries are encouraged.

Announcements of relevant meetings, publications, and abstracts of papers should be sent to the list types-announce@lists.seas.upenn.edu.

Archives: The current archive contains messages sent since September 2003. Earlier messages appear in this archive.

To see the collection of prior postings to the list, visit the .


A mail-to-news gateway for TYPES is accessible from nntp://news.gmane.io/gmane.comp.science.types (thanks to Leonid Dubinsky).


The mailing-list is moderated with an attention to keeping the list useful for a wide audience, in particular by reducing list volume. Our experience is that many mailing-list readers are inconvenienced by high-volume discussions.

This is an editorial process, rather than just filtering spam. In particular, emails may be discarded because (according to the subjective view of the moderator) they are redundant with other messages, because they do not add enough to the discussion, because types-list is not the best forum for them, or because they risk creating sub-threads that unproductive or in poor form.

Unfortunately the mailing-list process does not allow us to provide much transparency on moderation decisions. Messages can only be accepted or rejected, and there is no tooling support to provide a public view of moderation decisions. When in doubt, feel free to ask the list moderator.

There is a corresponding Types Zulip Chat that is more appropriate for long conversations or meta-discussion aspects. In particular, it is the preferred venue for discussions on Types-list standards and moderation process.

Submission instructions:
To post a message to all the list members, send email to types-list@lists.seas.upenn.edu.
  • Submissions should be in plain ASCII format -- please, no embedded HTML, document attachments, or MIME-encodings.
  • Please include an informative subject line with your message. Submissions with blank subject lines run the risk of being silently discarded.
  • Please don't begin your message with an apology for sending it to multiple lists -- this is just a further waste of readers' attention. (Many announcements these days are cross-posted, for reasons that people generally accept as valid. But if you truly feel bad about it, a better solution might be not to post to so many lists!)

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to TYPES

You may subscribe to TYPES by filling out the following form. Note that this ONLY subscribes you to the TYPES discussion list. If you would like to also receive announcements, you should also subscribe to the list types-announce. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator.

    Your email address:  
    Your name (optional):  
    You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.

    If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.

    Pick a password:  
    Reenter password to confirm:  
    Which language do you prefer to display your messages? English (USA)  
    Would you like to receive list mail batched in a daily digest? No Yes

To unsubscribe from Types-list, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address
Types-list History
The Types Forum was originated by Albert Meyer and continued by Philip Wadler, Benjamin Pierce, Stephanie Weirich, Derek Dreyer and Dimitrios Vytiniotis. The list is currently moderated by Gabriel Scherer.

Types-list list run by types-list-owner at LISTS.SEAS.UPENN.EDU
Types-list administrative interface (requires authorization)
Overview of all LISTS.SEAS.UPENN.EDU mailing lists

Delivered by Mailman
version 2.1.35
Python Powered GNU's Not Unix