Compilation as Rewriting in Higher Order Logic

Cached

Download Links

by Guodong Li , Konrad Slind
Citations:9 - 5 self