Marinus J. Plasmeijer, Arjen van Weelden. A Functional Shell That Operates on Typed and Compiled Applications. In Varmo Vene, Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Volume 3622 of Lecture Notes in Computer Science, pages 245-272, Springer, 2004. [doi]