Breaking through the normalization barrier: a self-interpreter for f-omega
From MaRDI portal
Publication:2828238
DOI10.1145/2837614.2837623zbMath1347.68046OpenAlexW2295655199MaRDI QIDQ2828238
No author found.
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2837614.2837623
Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Self-quotation in a typed, intensional lambda-calculus ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Breaking through the normalization barrier: a self-interpreter for f-omega
