1ML – core and modules united (F-ing first-class modules)

DOI10.1145/2784731.2784738zbMath1360.68338OpenAlexW2154044723MaRDI QIDQ2981941

Andreas Rossberg

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

type systemsabstract data typesexistential typesSystem Felaborationfirst-class modulesML modules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

The Essence of Dependent Object Types ⋮ 1ML with Special Effects ⋮ 1ML – Core and modules united ⋮ 1ML

Uses Software

• OCaml

This page was built for publication: 1ML – core and modules united (F-ing first-class modules)