sorted by: recent | see :
popular
Content Tagged with staticanalysis + haskell
Neil Mitchell - Catch: Case Totality Checker for Haskell
A Haskell program may fail at runtime with a pattern-match error if the program has any incomplete (non-exhaustive) patterns in definitions or case alternatives. This paper describes a static checker that allows non-exhaustive patterns to exist, yet ensur
Epigram - a functional language with dependent types
Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved.
Haskell: del.icio.us tag/haskell
haskell
functional
research
languages
computerscience
staticanalysis
structureeditors
Dr Haskell
"""Dr Haskell is a tool to detect common mistakes in beginner Haskell programs. """ No relation to Dr. Scheme, of course.