Dependency-style generic haskell

DOI10.1145/944705.944719zbMATH Open1315.68054OpenAlexW2157137298MaRDI QIDQ5261272FDOQ5261272

Dave Clarke, Johan Jeuring, Andres Löh

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

zbMATH Keywords

functional programmingtype systemsgeneric programminggeneric Haskell

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• Title not available (Why is that?)
• Datatype-generic termination proofs
• Faking it Simulating dependent types in Haskell
• Generic Programming

Uses Software

• Haskell
• OCaml
• Polyp

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)