archives

A Framework for Implementing Type Systems


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Dorn, Brian and Leavens, Gary T. (2007) A Framework for Implementing Type Systems. Technical Report TR#07-12, Computer Science, Iowa State University.

Full text available as:Adobe PDF
Postscript

Abstract

Type systems are ubiquitous in the study of programming languages. Although the basic mechanisms are well understood, a new type system can still be a challenge to implement. We present the design and implementation of a domain-specific language (i.e., a functional framework) for writing type system implementations. This domain-specific language has been embedded in both Haskell and Scheme. It allows users to write down the axioms and inference rules of the type system in a stylized notation that closely resembles the formal type rules, and automates the rest of the work of type checking or type inference.

Keywords:Type inference, type checking, Scheme language, Typedscm language.
Subjects:Software: PROGRAMMING TECHNIQUES (E): Applicative (Functional) Programming
Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques
Software: SOFTWARE ENGINEERING (K.6.3): Programming Environments
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Software: PROGRAMMING LANGUAGES: Processors
ID code:00000550
Deposited by:Gary T. Leavens on 11 July 2007
Alternative Locations:ftp://ftp.cs.iastate.edu/pub/techreports/TR07-12/TR.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR07-12/TR.ps.gz



Contact site administrator at: ssg@cs.iastate.edu