Mixin' up the ML module system

DOI10.1145/1411204.1411248zbMath1323.68069OpenAlexW4256573185MaRDI QIDQ5178771

Derek R. Dreyer, Andreas Rossberg

Publication date: 16 March 2015

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

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

zbMATH Keywords

type systemsabstract data typesrecursive modulesmixin modulesML moduleshierarchical composability

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (5)

The Essence of Dependent Object Types ⋮ 1ML with Special Effects ⋮ Path resolution for nested recursive modules ⋮ 1ML – Core and modules united ⋮ MixML

This page was built for publication: Mixin' up the ML module system