Notifications You must be signed in to change notification settings It doesn't seem entirely straight-forward to have Haskell's type system enforce constraints such as a number being even. One option ...

We report on an extension of Haskell with type(-level) functions and equality constraints. We illustrate their usefulness in the context of phantom types, GADTs and type classes. Problems in the ...

Though Haskell’s module language is quite weak, its core language is highly expressive. Indeed, it is tantalisingly close to being able to express much of the structure traditionally delegated to a ...