The type theory and type checker of GF (1999)

by P Mienpii, A Ranta
Venue:In Colloquium on Prinziples, .Logics, ..and Implementations .of High-Level Progrdmm.ihg L~inTJages, Worl~shop: On-Logical Frameworks and Meta-languages