First Page | Document Content | |
---|---|---|
Date: 2017-04-21 01:19:46Computer programming Software engineering Computing Lisp Functional languages Subroutines Programming languages Data types Functional programming Defun ACL2 Cons | A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel InstituteAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 179,37 KBShare Document on Facebook |
Earlier version appears in: Proceedings of the Fifth International Lisp Users and Vendors Conference, Boston, MA, Literate Engines in Lisp Raja Sooriamurthi Computer Science Department, Lindley Hall, 215 Indiana UDocID: 18PYI - View Document | |
ICFP 2008 Summary Schedule Saturday, September 20, 2008 Continental Breakfast 08:00 – 09:00 09:00 – 10:30DocID: 1844z - View Document | |
Form & Function in Software Richard P. Gabriel phd mfa <1>DocID: 15nbJ - View Document | |
The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onaganDocID: 13TS7 - View Document | |
A Tutorial For Creating and Publishing Open Source Lisp Software Robert Smith Secure Outcomes IncEvergreen Pkwy Ste 200 Evergreen, COUSADocID: 13mJt - View Document |