Mechanically verifying the correctness of an offline partial evaluator

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026826 ◽

1995 ◽

pp. 279-298 ◽

Author(s):

John Hatcliff

Download Full-text