Compiler Implementation in a Formal Logical Framework (2003)

Cached

Download Links

by Jason Hickey , Aleksey Nogin , Adam Granicz , Brian Aydemir
Venue:In Proceedings of the 2003 workshop on Mechanized
Citations:4 - 2 self