Incremental Polymorphic Type Checking in B (1983)

by L Meertens
Venue:In Proc. 10th ACM POPL