The essence of principal typings. Pages 913–925 of: Proc. 29th int’l coll. automata, languages, and programming (2002)

by J B Wells
Venue:Springer-Verlag. 3 citations in section(s) 1.1, 1.1, and 2.1