Paper announcement: Dependently Typed Records

• To: types@cis.upenn.edu
• Subject: Paper announcement: Dependently Typed Records
• From: Randy Pollack <rap@dcs.ed.ac.uk>
• Date: Fri, 25 Feb 2000 17:26:39 GMT

The following submitted paper is available at URL
<http://www.dcs.ed.ac.uk/~rap/export/records.ps>

Comments and suggestions are welcome.

	 -- Randy Pollack
--------------------------------------------------------
Dependently Typed Records for Representing Mathematical Structure
			  Randy Pollack

A notion of dependently typed records is developed naturally from
inductively definable Sigma types.  I consider features such as
labels, coercive subtyping, manifest types, and a "with" notation, and
compare with some existing literature w.r.t. these features.

• Prev: PPDP 2000 Deadline Extension
• Next: ICFP 2000: new submission deadline
• Index(es):
  • Main
  • Thread