Dependent Types in Practical Programming (1998)

by Hongwei Xi , Dana Scott
Venue:In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages
Citations:289 - 38 self