Flexible representation analysis

DOI10.1145/258948.258958MaRDI QIDQ5348868zbMATH OpenOpenAlexFDO

Authors Zhong Shao

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.258958

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Flexible type analysis
• scientific article; zbMATH DE number 1948402
• Type-directed specialization of polymorphism.
• A demand-driven adaptive type analysis
• A Compilation Method for Dynamic Typing in ML

Cited in

(14)

• Type-based hot swapping of running modules
• Type-directed specialization of polymorphism.
• Analysis and practical use of flexible biCGStab
• Flexible type analysis
• Type-safe code transformations in Haskell
• A demand-driven adaptive type analysis
• scientific article; zbMATH DE number 3854400 (Why is no real title available?)
• scientific article; zbMATH DE number 1948402 (Why is no real title available?)
• scientific article; zbMATH DE number 1746456 (Why is no real title available?)
• A new criterion for safe program transformations
• Functioning without closure: type-safe customized function representations for standard ML
• Strongly typed flow-directed representation transformations (extended abstract)
• On the runtime complexity of type-directed unboxing
• New Computational Paradigms

This page was built for publication: Flexible representation analysis

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