1ML -- core and modules united

DOI10.1017/S0956796818000205MaRDI QIDQ4625163zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

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

Cites work

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

Cited in

(6)

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

Describes a project that uses

Uses Software

• 1ML
• MixML
• ML
• Automath

This page was built for publication: 1ML -- core and modules united

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