Sciweavers

Share
ASIAN
1998
Springer

Type Inference for First-Class Messages with Feature Constraints

8 years 7 months ago
Type Inference for First-Class Messages with Feature Constraints
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x y
Martin Müller, Susumu Nishimura
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where ASIAN
Authors Martin Müller, Susumu Nishimura
Comments (0)
books