Flow-directed closure conversion for typed languages

DOI10.1007/3-540-46425-5_4MaRDI QIDQ2729051zbMATH OpenFDO

Authors Henry Cejtin, Suresh Jagannathan, Stephen Weeks

Publication date 6 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46425-5_4

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1231621
• scientific article; zbMATH DE number 1497777
• scientific article; zbMATH DE number 1330455
• Functioning without closure: type-safe customized function representations for standard ML
• From call-by-value to interaction by typed closure conversion

Cited in

(8)

• Flattening tuples in an SSA intermediate representation
• scientific article; zbMATH DE number 1231621 (Why is no real title available?)
• From ML to Ada: Strongly-typed language interoperability via source translation
• scientific article; zbMATH DE number 1330455 (Why is no real title available?)
• Functioning without closure: type-safe customized function representations for standard ML
• Strongly typed flow-directed representation transformations (extended abstract)
• Polymorphic typed defunctionalization and concretization
• Refunctionalization at work

This page was built for publication: Flow-directed closure conversion for typed languages

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