R. Boulifa : "Another Implementation Technique for Functional Programming Languages" Previous Index Next