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

DOI10.1145/2784731.2784738MaRDI QIDQ2981941zbMATH OpenOpenAlexFDO

Authors 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

abstract data typeselaborationexistential typesfirst-class modulesML modulesSystem Ftype systems

Mathematics Subject Classification ID

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

Recommendations

• 1ML -- core and modules united
• scientific article; zbMATH DE number 1629947
• First-class structures for standard ML
• F-ing modules
• Types for modules

Cited in

(7)

• First-class structures for standard ML
• scientific article; zbMATH DE number 1629947 (Why is no real title available?)
• 1ML
• The essence of dependent object types
• 1ML with special effects. F-ing generativity polymorphism
• 1ML -- core and modules united
• F-ing modules

Describes a project that uses

Uses Software

• OCaml

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

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