Type specialisation for imperative languages

DOI10.1145/258948.258968MaRDI QIDQ5348877zbMATH OpenOpenAlexFDO

Authors

Publication date 21 August 2017

Published in Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/258948.258968

zbMATH Keywords

monadsprogram transformationspecialisationtype systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2080288
• Transformation by interpreter specialisation
• scientific article; zbMATH DE number 1538028
• Type-directed specialization of polymorphism.
• scientific article; zbMATH DE number 1088039

Cited in

(6)

• A scheme for effective specialization of imperative programs
• scientific article; zbMATH DE number 1615254 (Why is no real title available?)
• Practical Optional Types for Clojure
• scientific article; zbMATH DE number 1231611 (Why is no real title available?)
• scientific article; zbMATH DE number 1088039 (Why is no real title available?)
• scientific article; zbMATH DE number 2080288 (Why is no real title available?)

This page was built for publication: Type specialisation for imperative languages

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