1ML – Core and modules united

DOI10.1017/S0956796818000205zbMath1476.68042OpenAlexW2908243715MaRDI QIDQ4625163

Andreas Rossberg

Publication date: 20 February 2019

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796818000205

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• ML
• Automath
• 1ML
• MixML

Cites Work

• Unnamed Item
• A theory of type polymorphism in programming
• Semi-explicit first-class polymorphism for ML.
• Types for modules
• Transparent modules with fully syntatic signatures
• A type system for higher-order modules
• 1ML – core and modules united (F-ing first-class modules)
• A syntactic theory of type generativity and sharing
• 1ML with Special Effects
• Modular type classes
• Polymorphic type, region and effect inference
• F-ing modules
• FPH
• Mixin' up the ML module system
• ML ^F
• Extensional equivalence and singleton types
• Recursive type generativity
• Canonical Structures for the Working Coq User
• Applicative programming with effects
• Principal Type Schemes for Modular Programs

This page was built for publication: 1ML – Core and modules united