Type inference with overloading using an attribute grammar
Loading...
Authors
Bull, Bruce James
Subjects
Overloading, Polymorphism, Type Inference, Attribute Grammar, SynGen, Incremental, Constrained Type Schemes, Constraint Set Satisfiability
Advisors
Volpano, Dennis M.
Date of Issue
1994-03
Date
March, 1994
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
Interactive programming environment for language offer many advantages over traditional batch-oriented ones, such as immediate static analysis. One form of analysis is type checking, yet type checking in this setting for languages with
common features like overloading has received little attention. We implement an interactive type checker for the polymorphic type system of ML with overloading. The implementation was produced automatically from an attribute grammar using the Synthesizer Generator, an attribute evaluator generator. Type inference then is accomplished via attribute evaluation so that if the evaluation is done incrementally, then type inference becomes incremental as well.
Type
Thesis
Description
Series/Report No
Department
Computer Science
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.