Fully reflexive intensional type analysis

DOI10.1145/351240.351248MaRDI QIDQ2943360zbMATH OpenOpenAlexFDO

Authors Valery Trifonov, Bratin Saha, Zhong Shao

Publication date 11 September 2015

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

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

zbMATH Keywords

certified coderuntime type dispatchtyped intermediate language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• scientific article; zbMATH DE number 2087540
• Flexible type analysis

Cited in

(8)

• scientific article; zbMATH DE number 1693038 (Why is no real title available?)
• Flexible type analysis
• A representation of \(F_{\omega}\) in LF
• Intensional polymorphism in type-erasure semantics
• scientific article; zbMATH DE number 2087540 (Why is no real title available?)
• scientific article; zbMATH DE number 785045 (Why is no real title available?)
• Intensional polymorphism in type-erasure semantics
• Generic programming in 3D

This page was built for publication: Fully reflexive intensional type analysis

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