Fritz Henglein
-
Type-FUNCTIONAL PEARL safe cast
Journal of Functional Programming
Embedded interpreters