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

• Type: Conference
• Year: 1998
• Where: ASIAN
• Authors: Martin Müller, Susumu Nishimura
• Keywords: Algorithms, ASIAN 1998, Feature Tree, Satisfiability Problem, Type Inference