Higher-Order Modules and the Phase Distinction (1990)

by Robert Harper , John C. Mitchell , Eugenio Moggi
Venue:In Seventeenth ACM Symposium on Principles of Programming Languages
Citations:134 - 23 self