Blog
About

128
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant

      Proceedings of the 1995 Glasgow Workshop on Functional Programming (FP)

      Functional Programming

      10-12 July 1995

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 1

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Graphical User Interfaces for Haskell

            Bookmark

            Author and article information

            Conference
            July 1995
            July 1995
            : 1-8
            Affiliations
            Department of Computing Science, University of Glasgow
            Article
            10.14236/ewic/FP1995.7
            © Andy Gill. Published by BCS Learning and Development Ltd. Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 1995 Glasgow Workshop on Functional Programming
            FP
            Ullapool, Scotland
            10-12 July 1995
            Electronic Workshops in Computing (eWiC)
            Functional Programming
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article