Type Class Instances for Type-Level Lambdas in Haskell

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-319-39110-6_4 ◽

2016 ◽

pp. 60-84

Author(s):

Thijs Alkemade ◽

Johan Jeuring

Download Full-text