Practical aspects of functional language implementation, including efficient compilation, fast run-time systems, and effective programmer support tools. The goal of this research is to make functional languages, such as Standard ML, competitive with traditional imperative languages in speed and ease of use. I`m also interested in killer applications of functional programming, and on the design and implementation of domain-specific languages