Type classes with functional dependencies

MaRDI QIDQ2729056zbMATH OpenFDO

Authors Mark P. Jones

Publication date 6 November 2001

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• Proving type class laws for Haskell
• Type-checking multi-parameter type classes
• Extensions: A technique for structuring functional-logic programs
• Double applicative functors
• Type-safe pattern combinators

Cited in

(23)

• Double applicative functors
• Improving type error reporting for type classes
• Extensions: A technique for structuring functional-logic programs
• Type-safe code transformations in Haskell
• Language-based program verification via expressive types
• Unified syntax with iso-types
• First-Class Type Classes
• Type-safe pattern combinators
• Type-checking multi-parameter type classes
• Functional reactive types
• Closure via functional dependence simplification
• Derivable type classes
• CoLoSS: the coalgebraic logic satisfiability solver
• Heterogeneous binary random-access lists
• Understanding beginners' mistakes with Haskell
• Type classes with existential types
• Type Inference of Simple Recursive Functions in Scala
• Constructing language processors with algebra combinators
• Programming with C++ concepts
• Builtin types viewed as inductive families
• Abstractions for multi-sorted substitutions
• Use and abuse of instance parameters in the Lean mathematical library.
• Generic programming in 3D

This page was built for publication: Type classes with functional dependencies

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