Publication View

A filter lambda model and the completeness of type assignement (1983)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch

Publications citing this publication (1)

A Semantics for Static Type Inference (1991)