Type Class Instances for Type-Level Lambdas in Haskell

DOI10.1007/978-3-319-39110-6_4zbMath1354.68042OpenAlexW30827351MaRDI QIDQ2814386

Johan Jeuring, Thijs Alkemade

Publication date: 21 June 2016

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/327310

zbMATH Keywords

Haskellhigher-order unificationtype classtype-level lambda

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Haskell

This page was built for publication: Type Class Instances for Type-Level Lambdas in Haskell