[Prev][Next][Index][Thread]

types


Of the last six messages sent to the Types Forum, three had the
subject `Paper announcement' or something similarly uninformative.
One subscriber complained about this, quite reasonably I think.

Please include an informative subject line with your message.  If you
announce a new paper, the subject line should state the subject of the
paper, not `Paper announcement'.

While I'm at it, here is a (slightly updated) statement of policy for
the Types Forum.

Happy summer and happy typing!  -- Phil Wadler, moderator, Types Forum



			THE TYPES FORUM

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.  Typical
topics include:

	Typed, untyped, or polymorphic lambda calculus; type checking,
	inference, and reconstruction; 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, strong
	normalization, confluence; abstract data types, type systems
	for object-oriented 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 are also welcome.

Please include an informative subject line with your message.  If you
announce a new paper, the subject line should state the subject of the
paper, not `Paper announcement'.

Conference announcements of a general nature should not be sent to the
Types Forum.  The usual criterion for deciding relevance is that the
announcement should mention one or more subjects in the list above.  A
good place for general announcements is Theory-A, the Theory Net
events list: send announcements or requests to subscribe to
<theory-a@vm1.nodak.edu>.

Please send submissions to <types@dcs.glasgow.ac.uk>, and requests to
subscribe or unsubscribe to <types-request@dcs.glasgow.ac.uk>.