Two-level types and parameterized modules

DOI10.1017/S095679680300488XzbMATH Open1104.68397MaRDI QIDQ5692153FDOQ5692153

Authors: Tim Sheard, Emir Pasalic Edit this on Wikidata

Publication date: 27 September 2005

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

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

zbMATH Keywords

Haskell data-types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

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)