Introducing the Haskell equational reasoning assistant

Haskell'06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop

Volumn 2006, Issue , 2006, Pages 108-109

  Gill, Andy ^a  

^a Galois Connections   (United States)

Author keywords

Ajax applications; Equational reasoning; Transformation tools

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC; INTERACTIVE COMPUTER GRAPHICS;

EQUATIONAL REASONING; TRANSFORMATION TOOLS;

COMPUTER SOFTWARE;

EID: 33750983043     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159842.1159856     Document Type: Conference Paper

References (7)

1. Bravenboer, M., Kalleberg, K. T., Vermaas, R. and Visser. E. Stratego/XT Tutorial, Examples, and Reference Manual (latest), Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands, 2006.
2. de Mol, M., van Eekelen, M., Plasmeijer, R., Theorem Proving for Functional Programmers - SPARKLE: A Functional Theorem Prover, Proceedings of the 13th International Workshop on the Implementation of Functional Languages, Älvsjö, Sweden, September 24-26, 2001, Springer-Verlag, LNCS 2312.
3. Garrett, J.J., Ajax: A New Approach to Web Applications, http://adaptivepath.com/publications/essays/archives/, February 18, 2005.
4. Gill, A., The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant, Proceedings of the Eighth Annual Glasgow Workshop on Functional Programming, July 1995.
5. Li, H. and Thompson, S. and Reinke, C., The Haskell Refactorer, HaRe, and its API, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications, Edinburgh, Scotland, April 2005.
6. Peyton Jones, S.L. and Launchbury, J., Unboxed values as first class citizens, Functional Programming Languages and Computer Architecture (FPCA'91), Boston, LNCS 523, Springer Verlag, Sept 1991.
7. Sheard, T. and Peyton Jones, S., Template metaprogramming for Haskell, Proc. Haskell Workshop, Pittsburg, 2002.