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.org/gmane.comp.science.types and http://news.gmane.org/gmane.comp.science.types (thanks to Leonid Dubinsky).

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.29
Python Powered GNU's Not Unix