sorted by: recent | see :
popular
Content Tagged with compsci + tools
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 ensu
CrossTeX - Bibliography Preparation Tool
EGS's reinvention of BibTeX.
