Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Syntactic Considerations on Recursive Types Mart'in Abadi
 

Summary: Syntactic Considerations on Recursive Types
Mart'in Abadi
ma@pa.dec.com
Systems Research Center
Digital Equipment Corporation
Marcelo P. Fiore \Lambda
mf@dcs.ed.ac.uk
LFCS
University of Edinburgh
Abstract
We study recursive types from a syntactic perspective.
In particular, we compare the formulations of recurs­
ive types that are used in programming languages and
formal systems. Our main tool is a new syntactic ex­
planation of type expressions as functors. We also in­
troduce a simple logic for programs with recursive types
in which we carry out our proofs.
1 Introduction
Recursive types are common in both programming lan­
guages and formal systems. By now, there is a deep and

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences