Modeling abstract types in modules with open existential types

DOI10.1145/1480881.1480926zbMath1315.68103OpenAlexW1970031091MaRDI QIDQ5261533

Benoît Montagu, Didier Rémy

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

modulesmodularitytype systemslambda-calculuslinear type systemsexistential typesabstract typesgenerativity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

The Essence of Dependent Object Types ⋮ Path resolution for nested recursive modules ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable

This page was built for publication: Modeling abstract types in modules with open existential types