Toward a practical module system for ACL2 (2009)

by C Eastlund, M Felleisen
Venue:Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages