Tactic-Based Optimized Compilation of Functional Programs

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/11617990_13 ◽

2006 ◽

pp. 201-214 ◽

Cited By ~ 2

Author(s):

Thomas Meyer ◽

Burkhart Wolff

Download Full-text