Haskell Tools from the Programatica Project

Proceedings of the 2003 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2003, Pages 103-106

  Hallgren, Thomas ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

Haskell

Indexed keywords

COMPUTER PROGRAMMING; GLOSSARIES; HTML; PROGRAM COMPILERS; SUBROUTINES; SYNTACTICS; USER INTERFACES;

HASKELL; POLYMORPHIC FUNCTIONS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1542537982     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/871895.871907     Document Type: Conference Paper

References (22)

1. Andreas Abel. foetus - Termination Checker for Simple Functional Programs. www.tcs.informatik. uni-muenchen.de/~abel/foetus/, 1998. Programming Lab Report.
2. Ana Bove. General Recursion in Type Theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Gteborg, Sweden, 2002. www.cs.chalmers.se/~bove/Papers/phd_thesis.ps.gz.
3. Magnus Carlsson and Thomas Hallgren. Fudgets. www.cs.chalmers.se/Fudgets/, 1993-2003.
4. Koen Claessen and John Hughes. Quickcheck: a lightweight tool for random testing of Haskell programs. In International Conference on Functional Programming, pages 268-279. ACM, 2000. citeseer.nj.nec.com/claessen99quickcheck.html.
5. Thierry Coquand. Structured type theory. www.cs.chalmers.se/~coquand/STT.ps.Z, June 1999. Preliminary version.
6. Maarten de Mol. Sparkle. www.cs.kun.nl/Sparkle/, 2003.
7. Iavor S. Diatchki, Mark P. Jones, and Thomas Hallgren. A Formal Specification for the Haskell 98 Module System. In Proceedings of the 2002 Haskell Workshop, Pittsburgh, USA, October 2002. www.cse.ogi.edu/~diatchki/hsmod/.
8. The Glasgow Haskell Compiler, 2002. www.haskell.org/ghc/.
9. Thomas Hallgren. Home Page of the Proof Editor Alfa. www.cs.chalmers.se/hallgren/Alfa/, 1996-2003.
10. Thomas Hallgren. A Lexer for Haskell in Haskell. www.cse.ogi.edu/~hallgren/Talks/LHiH, 2002.
11. Thomas Hallgren. stripcomments. vww.cse.ogi.edu/~hallgren/stripcomments/, 2002.
12. Hugs Online. www.haskell.org/hugs/, 2002.
13. Mark P. Jones. Type Classes with Functional Dependencies. In Proceedings of the 9th European Symposium on Programming, ESOP 2000, number 1782 in LNCS, Berlin, Germany, March 2000. Springer-Verlag.
14. M.P. Jones. Typing Haskell in Haskell. In Proceedings of the 1999 Haskell Workshop, Paris, France, September 1999. www.cse.ogi.edu/~mpj/thih/.
15. Simon Marlow. Haddock. www.haskell.org/haddock/, 2003.
16. Simon Marlow et al. The hssource library. Distributed with GHC [8].
17. Johan Nordlander. O'haskell. www.cs.chalmers.se/~nordland/ohaskell/, 2001.
18. The Programatica Project home page. www.cse.ogi.edu/PacSoft/projects/programatica/, 2002.
19. Tim Sheard. Generic unification via two-level types and parameterized modules. In International Conference on Functional Programming, pages 86-97, 2001. citeseer.nj.nec.com/451401.html.
20. The Programatica Team. Programatica Tools. www.cse.ogi.edu/~hallgren/Programatica/download/, August 2003.
21. The Programatica Team. Programatica Tools for Certifiable, Auditable Development of High-assurance Systems in Haskell. In Proceedings of the High Confidence Software and Systems Conference. National Security Agency, April 2003. Available via [18].
22. Simon Thompson, Claus Reinke, et al. Refactoring Functional Programs. www.cs.kent.ac.uk/projects/refactor-fp/, 2003.