Type-safe cast (0)

by S WEIRICH
Venue:In Proceedings of the 2000 ACM SIGPLAN International Conference on Functional Programming