Skip to main content
SpringerLink
Log in

TkGofer: A functional GUI library

  • Conference
  • Conference paper
  • First Online:
Book cover Algebraic Methodology and Software Technology (AMAST 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1101))

  • 148 Accesses

Abstract

We present a constructor class based implementation of a graphical user interface library, named TkGofer. It provides a convenient way to develop window-based applications in the pure, functional programming language Gofer [1], which is a subset of Haskell. The principal contribution of the approach embodied in the library is that it offers a simple and type secure solution to specify the appearance and behaviour of individual and composed user interface components.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M.P. Jones. An introduction to Gofer (draft), 1993.

    Google Scholar 

  2. M.P. Jones. Functional programming with overloading and higher-order polymorphism. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming. First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 1995, volume 925 of Lecture Notes in Computer Science, pages 97–136. Springer-Verlag, 1995.

    Google Scholar 

  3. J.K. Ousterhout. Tcl and the Tk toolkit. Addison Wesley, 1994.

    Google Scholar 

  4. S.L. Peyton Jones and Ph. Wadler. Imperative functional programming. In Proc. 20th ACM Symposium on Principles of Programming Languages, Charlotte, North Carolina, January 1993.

    Google Scholar 

  5. T. Vullinghs, T. Schwinn, and W. Schulte. TkGofer User Manual. Technical report, University of Ulm, to appear, 1996.

    Google Scholar 

  6. T. Vullinghs, D. Tuijnman, and W. Schulte. Lightweight GUIs for functional programming. In M. Hermenegildo and S.D. Swierstra, editors, Programming Languages: Implementations, Logics and Programs. 7th International Symposium, PLILP '95, volume 982 of Lecture Notes in Computer Science, pages 341–356. Springer-Verlag, September 1995.

    Google Scholar 

  7. Ph. Wadler. Comprehending monads. In Proc. 1990 ACM Conference on Lisp and Functional Programming, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Universität Ulm, D-89069, Ulm, Germany

    Wolfram Schulte, Thilo Schwinn & Ton Vullinghs

Authors
  1. Wolfram Schulte
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thilo Schwinn
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ton Vullinghs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schulte, W., Schwinn, T., Vullinghs, T. (1996). TkGofer: A functional GUI library. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014357

Download citation

  • DOI: https://doi.org/10.1007/BFb0014357

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation