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.

• Type: Conference
• Year: 1995
• Where: FP
• Authors: Howard Huang, Uday S. Reddy
• Keywords: FP 1995, Identi Ers, Programming Languages, Reconstruction Algorithm, Type Reconstruction Algorithm