Functional Pearl: Weaving a web von Hinze, R, Jeuring, J

Generic Programming for Indexed Datatypes von aes, J, Jeuring, J

Generic programming for indexed datatypes von aes, J, Jeuring, J

Generic Haskell: Practice and Theory von Hinze, R, Jeuring, J

Generic Haskell: Applications von Hinze, R, Jeuring, J

Generic Haskell: Applications von Hinze, R, Jeuring, J

Generic Haskell: Practice and Theory von Hinze, R, Jeuring, J

Typed Contracts for Functional Programming von Hinze, R, Jeuring, J, Löh, A

Type−indexed Data Types von Hinze, R, Jeuring, J, Löh, A

Comparing Approaches to Generic Programming in Haskell von Hinze, R, Jeuring, J, Löh, A

Type−indexed data types von Hinze, R, Jeuring, J, Löh, A

Generic Programming for Domain Reasoners von Jeuring, J, aes, J, Heeren, B

Type−indexed data types von Hinze, R, Jeuring, J, Löh, A

Generic Programming for Domain Reasoners von Jeuring, J, aes, J, Heeren, B

Generic selections of subexpressions von van Steenbergen, M, aes, J, Jeuring, J

Optimizing Generics Is Easy! von aes, J, Holdermans, S, Jeuring, J, Löh, A

Libraries for Generic Programming in Haskell von Jeuring, J, Leather, S, aes, J, Yakushev, A

Optimizing Generics Is Easy! von aes, J, Holdermans, S, Jeuring, J, Löh, A

Libraries for Generic Programming in Haskell von Jeuring, J, Leather, S, aes, J, Yakushev, A

A generic deriving mechanism for Haskell von aes, J, Dijkstra, A, Jeuring, J, Löh, A