Incremental polymorphic type checking with update (1992)

by A Mycroft
Venue:Proc. of the conference "LFCS - Logic at Tver