Extended static checking for haskell

@inproceedings{Xu2006ExtendedSC,
  title={Extended static checking for haskell},
  author={Dana N. Xu},
  booktitle={Haskell},
  year={2006}
}
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and to systems that are guarded by runtime checks. Extended static checking can reduce these costs by helping to detect bugs at compile-time, where possible. Extended static checking has been applied to objectoriented languages, like Java and C#, but it has not been applied to a lazy functional language, like Haskell. In this paper, we describe an extended static checking tool for… CONTINUE READING

Similar Papers

Loading similar papers…