Refinement types for logical frameworks (1993)

by Pfe93 F Pfenning
Venue:In Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs