158
Voted
FP
1995
15 years 6 months ago
1995
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 cau...