Generic Programming with Dependent Types

DOI10.1007/978-3-642-32202-0_5zbMath1374.68107OpenAlexW44613125MaRDI QIDQ4649382

Chris Casinghino, Stephanie Weirich

Publication date: 21 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-32202-0_5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Coq
• Haskell
• Cayenne
• Agda
• RepLib

This page was built for publication: Generic Programming with Dependent Types