An algebraic framework for separate type-checking (1999)

by D Ancona
Venue:WADT'98 (13th Workshop on Algebraic Development Techniques