Types for modules

MaRDI QIDQ2375744zbMATH OpenFDO

Authors Claudio Russo

Publication date 14 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/60

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1629947
• scientific article; zbMATH DE number 3995028
• First-class structures for standard ML
• A type system for higher-order modules
• 1ML -- core and modules united

Cites work

• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A Machine-Oriented Logic Based on the Resolution Principle
• A modular module system
• A semantic basis for Quest
• A syntactic theory of type generativity and sharing
• A theory of type polymorphism in programming
• A type system for higher-order modules
• A unification algorithm for typed \(\bar\lambda\)-calculus
• Combinatory logic. With two sections by William Craig.
• Corrigendum: Polymorphic type assignment and CPS conversion
• First-class structures for standard ML
• scientific article; zbMATH DE number 1629947 (Why is no real title available?)
• scientific article; zbMATH DE number 2185711 (Why is no real title available?)
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)
• scientific article; zbMATH DE number 41857 (Why is no real title available?)
• scientific article; zbMATH DE number 53088 (Why is no real title available?)
• scientific article; zbMATH DE number 65534 (Why is no real title available?)
• scientific article; zbMATH DE number 512787 (Why is no real title available?)
• scientific article; zbMATH DE number 1064586 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• Pebble, a kernel language for modules and abstract data types
• Recursive structures for standard ML
• Static interpretation of modules
• The definition of Extended ML: A gentle introduction
• Type inference for polymorphic references
• Unification under a mixed prefix

Cited in

(16)

• First-class structures for standard ML
• scientific article; zbMATH DE number 1629947 (Why is no real title available?)
• Lightweight static capabilities
• Modular typechecking for hierarchically extensible datatypes and functions
• 1ML -- core and modules united (F-ing first-class modules)
• A syntactic theory of type generativity and sharing
• Modular type classes
• Modules with regular generic types part iv
• A modular module system
• 1ML -- core and modules united
• scientific article; zbMATH DE number 3995028 (Why is no real title available?)
• F-ing modules
• A type system for recursive modules
• Recursive structures for standard ML
• Typed cross-module compilation
• The existential fragment of second-order propositional intuitionistic logic is undecidable

Describes a project that uses

Uses Software

• Modula
• ML

This page was built for publication: Types for modules

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