Stephanie Weirich.
Type-safe cast : Functional pearl.
In Proceedings of the Fifth ACM SIGPLAN International
Conference on Functional Programming, pages 58-67, Montreal, September
2000. [ps][pdf]
Karl Crary, Stephanie Weirich, Resource Bound Certification.
In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of
Programming
Languages. Boston, Massachusetts, January 19-21, 2000. pp 184-198.
[ps][pdf]