Formal compiler construction in a logical framework. Higher-Order and Symbolic Computation (0)

by J Hickey, A Nogin
Venue:Integrating Digital Logic Design and Assembly Programming Using FPGAs in the Classroom. In Proceedings of the 49th ACM Southeast Regional Conference, ACMSE ’11