Sciweavers

Share
PLPV
2009
ACM

Type invariants for Haskell

9 years 5 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)
books