Internal normalization, compilation and decompilation for System F_

DOI10.1007/978-3-642-12251-4_16MaRDI QIDQ3558340zbMATH OpenOpenAlexFDO

Authors Stefano Berardi, Makoto Tatsuta

Publication date 4 May 2010

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12251-4_16

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Internal models of system F for decompilation
• Weak βη-Normalization and Normalization by Evaluation for System F
• scientific article; zbMATH DE number 2090724
• Typed Applicative Structures and Normalization by Evaluation for System F ω
• Simple Types in Type Theory: Deep and Shallow Encodings

Cited in

(3)

• Breaking through the normalization barrier: a self-interpreter for F-omega
• scientific article; zbMATH DE number 1953283 (Why is no real title available?)
• Weak βη-Normalization and Normalization by Evaluation for System F

This page was built for publication: Internal normalization, compilation and decompilation for System \({\mathcal F}_{\beta\eta}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558340)