Recursive programs in normal form (short paper)

Publication Type:
Conference Proceeding
PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018, 2017, 2017-January pp. 67 - 73
Issue Date:
Filename Description Size
Recursive programs in normal form.pdfPublished version537.53 kB
Adobe PDF
Full metadata record
© 2018 Association for Computing Machinery. Recursive programs can now be expressed as normal forms within some rewriting systems, including traditional combinatory logic, a new variant of lambda-calculus called closure calculus, and recent variants of combinatory logic that support queries of internal program structure. In all these settings, partial evaluation of primitive recursive functions, such as addition, can reduce open terms to normal form without fear of non-termination. In those calculi where queries of program structure are supported, program optimisations that are expressed as non-standard rewriting rules can be represented as functions in the calculus, without any need for quotation or other meta-theory.
Please use this identifier to cite or link to this item: