Modules, abstraction, and parametric polymorphism

DOI10.1145/3009837.3009892MaRDI QIDQ5370849zbMATH OpenOpenAlexFDO

Authors Karl Crary

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

abstractionlogical relationsmodulesparametricity

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
• A computational interpretation of parametricity
• F-ing modules
• scientific article; zbMATH DE number 2061707
• Types, abstraction, and parametric polymorphism, part 2

Cited in

(6)

• scientific article; zbMATH DE number 1303732 (Why is no real title available?)
• scientific article; zbMATH DE number 1538035 (Why is no real title available?)
• Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
• Proof Abstraction for Imperative Languages
• Dynamic translucency with abstraction kinds and higher-order coercions
• Existential types for relaxed noninterference

Describes a project that uses

Uses Software

• ML
• Coq

This page was built for publication: Modules, abstraction, and parametric polymorphism

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