Polytypic programming in Haskell

DOI10.1007/978-3-540-27861-0_11MaRDI QIDQ5466584zbMATH OpenOpenAlexFDO

Authors Ulf Norell, Patrik Jansson

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102274

Mathematics Subject Classification ID

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

Recommendations

• Polytypic programming with ease
• Polytypic programming with ease (Extended abstract)
• scientific article; zbMATH DE number 1375587
• A new approach to generic functional programming
• Type-indexed data types

Cited in

(27)

• Iteration and coiteration schemes for higher-order and nested datatypes
• Type-indexed data types
• On building cyclic and shared structures in Haskell
• Polytypic programming in Maude
• Polytypic programming with ease
• Polytypic programming with ease (Extended abstract)
• Adaptable software -- modular extensible monadic entry-pointless type checker in Haskell
• Formal polytypic programs and proofs
• Type-safe run-time polytypic programming
• Polytypic Syntax Tree Operations
• Parametricity for Haskell with Imprecise Error Semantics
• Libraries for generic programming in Haskell
• scientific article; zbMATH DE number 1375587 (Why is no real title available?)
• When do datatypes commute?
• scientific article; zbMATH DE number 2100543 (Why is no real title available?)
• Polytypic proof construction
• CoLoSS: the coalgebraic logic satisfiability solver
• Generic programming with multiple parameters
• A new approach to generic functional programming
• Generic Programming
• Prototyping generic programming in Template Haskell
• Dynamic Construction of Generic Functions
• Programming in Haskell
• Improving Haskell
• Polymorphic subtyping in O'Haskell
• Type-based termination of generic programs
• Generic programming in 3D

Describes a project that uses

Uses Software

• Haskell
• PolyLib

This page was built for publication: Polytypic programming in Haskell

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