The technology behind a graphical user interface for an equational reasoning assistant

Authors:
Andy Gill
Affiliations:
Department of Computing Science, University of Glasgow
Venue:
FP'95 Proceedings of the 1995 international conference on Functional Programming
Year:
1995

Citing 4
Cited 1

An introduction to functional programming

An introduction to functional programming
Tcl and the Tk toolkit

Tcl and the Tk toolkit
Graphical User Interfaces for Haskell

Proceedings of the 1992 Glasgow Workshop on Functional Programming
The Design of a Pretty-printing Library

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text

Introducing the Haskell equational reasoning assistant

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Haskell Equational Reasoning Assistant (HERA) is an application written in Haskell that helps users construct and present equational reasoning style proofs[1]. In this paper we discuss the technology behind the user interface.