Toward a practical module system for ACL2 (2009)

Cached

Download Links

by Carl Eastlund , Matthias Felleisen
Venue:Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages
Citations:4 - 1 self