Information about gmane.comp.science.types

• On the web, using frames and threads.
• On the web, using a blog-like, flat interface.
• Using an NNTP newsreader.
• RSS feeds:
  1. All messages from the list, with excerpted texts.
  2. Topics from the list, with excerpted texts.
  3. All messages from the list, with complete texts.
  4. Topics from the list, with complete texts.

Link to embed recent activity into your web page:

<iframe src="http://blog.gmane.org/recent.php?group=gmane.comp.science.types&type=topics&content=subject,date">

See this link for an overview of the available style parameters.

Detailed statistics.

Group	gmane.comp.science.types
Description	TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject.
Address	types-list@...
Status	read-only list
Url	http://www.cis.upenn.edu/~bcpierce/types/

Other mailing list archives for this list:

1. Original List Archive

If the information about the list is wrong, you can edit this information.