Type reconstruction for SCI (1996)
| Venue: | Functional Programming, Glasgow 1995, Electronic Workshops in Computing |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Huang96typereconstruction,
author = {Howard Huang and Uday Reddy},
title = {Type reconstruction for SCI},
booktitle = {Functional Programming, Glasgow 1995, Electronic Workshops in Computing},
year = {1996},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present atype reconstruction algorithm for SCIR [10], atype system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cause any side e ects, and that distinct identi ers do not interfere. A reconstruction algorithm for this type system must deal with di erent kinds (passive and general) and di erent uses of identi ers (passive and active). In particular, there may not be a unique choice of kinds for type variables. Our work extends SCIR typings with kind constraints. We show that principal type schemes exist for this extended system and outline an algorithm for computing them. 1
