CAISOR Archive of Articles, PM-1999-001An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate CalculusErik SandewallDescription of, and links to the document with the title and author mentioned above:Journal publication (refereed): Published in: Higher-Order and Symbolic Computation, vol. 12 (1999), pages 105-113. Open access: [ps]
This index page is persistent and will continue to contain links to the full text of the document as well as information about it. WWW links to this index page will be valid and useful for the foreseeable future, therefore. More information at the CAISOR archive website. |