Haskell tools from the programatica project

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Haskell tools from the programatica project

Full text

Pdf (223 KB)

Source

Haskell Workshop archive
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell table of contents

Uppsala, Sweden

Pages: 103 - 106

Year of Publication: 2003

ISBN:1-58113-758-3

Author

Thomas Hallgren

Oregon Health & Science University, Beaverton, OR

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/871895.871907 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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 , John Hughes, QuickCheck: a lightweight tool for random testing of Haskell programs, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.268-279, September 2000
	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 , Thomas Hallgren, A formal specification of the Haskell 98 module system, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.17-28, October 03, 2002, Pittsburgh, Pennsylvania [doi>10.1145/581690.581692]
	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. www.cse.ogi.edu/~hallgren/stripcomments/, 2002.
	12	Hugs Online. www.haskell.org/hugs/, 2002.
	13	Mark P. Jones, Type Classes with Functional Dependencies, Proceedings of the 9th European Symposium on Programming Languages and Systems, p.230-244, April 02, 2000
	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, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
	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.

CITED BY 5

	Claudio Ochoa , Josep Silva , Germán Vidal, Dynamic slicing based on redex trails, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.123-134, August 24-25, 2004, Verona, Italy
	Josep Silva , Germán Vidal, Forward slicing of functional logic programs by partial evaluation, Theory and Practice of Logic Programming, v.7 n.1-2, p.215-247, January 2007
	Lutz Schröder , Till Mossakowski, HasCasl: Integrated higher-order specification and program development, Theoretical Computer Science, v.410 n.12-13, p.1217-1260, March, 2009
	Claudio Ochoa , Josep Silva , Germán Vidal, Dynamic slicing of lazy functional programs based on redex trails, Higher-Order and Symbolic Computation, v.21 n.1-2, p.147-192, June 2008
	Dana N. Xu , Simon Peyton Jones , Koen Claessen, Static contract checking for Haskell, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA