Type invariants for Haskell

14 years 9 months ago

Haskell’s multi-parameter type classes, together with functional dependencies, allow the speciﬁcation of complex type-level opera

Tom Schrijvers, Louis-Julien Guillemette, Stefan M

Functional Dependencies | Multi-parameter Type Classes | PLPV 2009 | Programming Languages |

claim paper

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2009
Where	PLPV
Authors	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier

Comments (0)