Sciweavers

FP
1995

Type Reconstruction for SCI

13 years 7 months ago
Type Reconstruction for SCI
We present a type reconstruction algorithm for SCIR 10], a type 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.
Howard Huang, Uday S. Reddy
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where FP
Authors Howard Huang, Uday S. Reddy
Comments (0)