Dependency-style generic Haskell
DOI10.1145/944705.944719zbMATH Open1315.68054OpenAlexW2157137298MaRDI QIDQ5261272FDOQ5261272
Authors: Andres Löh, Dave Clarke, Johan Jeuring
Publication date: 2 July 2015
Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/20859
Recommendations
Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (8)
- A language for generic programming in the large
- Title not available (Why is that?)
- Generic Haskell: applications.
- Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell
- Datatype-generic termination proofs
- Mathematics of Program Construction
- Faking it Simulating dependent types in Haskell
- Generic Programming
Uses Software
This page was built for publication: Dependency-style generic Haskell
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261272)