Two-level types and parameterized modules

DOI10.1017/S095679680300488XMaRDI QIDQ5692153zbMATH OpenFDO

Authors Tim Sheard, Emir Pasalic

Publication date 27 September 2005

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

zbMATH Keywords

Haskell data-types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Generic unification via two-level types and parameterized modules
• A modular module system
• Modular type classes
• A new approach to generic functional programming
• A type system for recursive modules

Cited in

(9)

• Modules with regular generic types part iv
• A duality of sorts
• Constructing language processors with algebra combinators
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Generic unification via two-level types and parameterized modules
• Interleaving data and effects
• A pattern for almost compositional functions
• MikiBeta : A General GUI Library for Visualizing Proof Trees
• Asymptotic Improvement of Computations over Free Monads

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Two-level types and parameterized modules

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