Tactic-based optimized compilation of functional programs (2004)

by Thomas Meyer, Burkhart Wolff
Venue:of Lecture Notes in Computer Science