Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages (1994)

Cached

Download Links

by David Lester , Sava Mintchev
Venue:CSL '94, European Association for Computer Science Logic, Springer LNCS
Citations:4 - 1 self