scientific article; zbMATH DE number 1497777

MaRDI QIDQ4499192zbMATH OpenFDO

Authors Neal Glew

Publication date 6 March 2001

zbMATH Keywords

Java virtual machineclosure conversion

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• From call-by-value to interaction by typed closure conversion
• Typed closure conversion preserves observational equivalence
• scientific article; zbMATH DE number 769625
• scientific article; zbMATH DE number 1231621
• scientific article; zbMATH DE number 1330455
• scientific article; zbMATH DE number 1343460
• Rewriting conversions implemented with continuations
• Closures of Proper Classes
• Some Notes on Managing Closure Operators

Cited in

(3)

• scientific article; zbMATH DE number 1629940 (Why is no real title available?)
• On inner classes
• The equivalence of reduction and translation semantics of Java simple closures

This page was built for publication:

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