Sciweavers

PLPV
2009
ACM

Type invariants for Haskell

14 years 8 months ago
Type invariants for Haskell
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
Tom Schrijvers, Louis-Julien Guillemette, Stefan M
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where PLPV
Authors Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier
Comments (0)