Scrap your boilerplate with class

DOI10.1145/1086365.1086391zbMath1302.68062OpenAlexW2082765113WikidataQ57400604 ScholiaQ57400604MaRDI QIDQ2936783

Simon L. Peyton Jones, Ralf Lämmel

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1086365.1086391

zbMATH Keywords

generic programmingtype classesextensibilityrecursive dictionariestypecase

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (11)

Operational semantics of resolution and productivity in Horn clause logic ⋮ A Reflection on Types ⋮ A functional approach to generic programming using adaptive traversals ⋮ Generic programming in 3D ⋮ Algebraic Specialization of Generic Functions for Recursive Types ⋮ <scp>OutsideIn(X)</scp>Modular type inference with local assumptions ⋮ Type-directed weaving of aspects for polymorphically typed functional languages ⋮ Proof Relevant Corecursive Resolution ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Libraries for Generic Programming in Haskell ⋮ Strongly Typed Rewriting For Coupled Software Transformation

Uses Software

• Haskell
• QuickCheck

This page was built for publication: Scrap your boilerplate with class