Skip to main content
SpringerLink
Log in

Programming with algebras

  • Conference paper
  • First Online:
Advanced Functional Programming (AFP 1995)

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

Included in the following conference series:

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. Jeffrey Bell et al. Software design for reliability and reuse: A proof-of-concept demonstration. In TRI-Ada '94 Proceedings, pages 396–404. ACM, November 1994.

    Google Scholar 

  2. Richard S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO Series F. Springer-Verlag, 1986.

    Google Scholar 

  3. Richard S. Bird, Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, volume 52 of NATO Series F. Springer-Verlag, 1988.

    Google Scholar 

  4. Robin Cockett and Dwight Spencer. Strong categorical datatypes. In R. A. G. Seely, editor, International Meeting on Category Theory, 1991. AMS, 1992.

    Google Scholar 

  5. Maarten M. Fokkinga. Law and Order in Algorithmcs. PhD thesis, University of Twente, Twente, The Netherlands, February 1992.

    Google Scholar 

  6. Joseph A. Goguen. How to prove inductive hypotheses without induction. In W. Bibel and R. Kowalski, editors, Proc. 5th Conference on Automated Deduction, volume 87 of Lecture Notes in Computer Science, pages 356–373. Springer-Verlag, 1980.

    Google Scholar 

  7. Joseph A. Goguen and Joseph Tardo. An introduction to)BJ: A language for writing and testing software specifications. In Proc. of Conference on Specification of Reliable Software, pages 170–189. IEEE Press, 1979.

    Google Scholar 

  8. Joseph A. Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, classification, correctness and implementation of abstract data types. In Raymond Yeh, editor, Current Trends in Programming Methodology IV, pages 80–149. Prentice-Hall, 1978.

    Google Scholar 

  9. Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International, August 1988.

    Google Scholar 

  10. T. Hagino. A Categorical Programming Language. PhD thesis, University of Edinburgh, 1987.

    Google Scholar 

  11. Richard B. Kieburtz, Francoise Bellegarde, Jef Bell James Hook, Jeffrey Lewis, Dina Oliva, Tim Sheard Lisa Walton, and Tong Zhou. Calculating software generators from solution specifications. In TAPSOFT'95, volume 915 of Lecture Notes in Computer Science, pages 546–560. Springer-Verlag, 1995.

    Google Scholar 

  12. Richard B. Kieburtz and Jeffrey Lewis. Algebraic Design Language— Preliminary definition. Technical report, Pacific Software Research Center, Oregon Graduate Institute of Science & Technology, January 1994.

    Google Scholar 

  13. Saunders MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.

    Google Scholar 

  14. Grant Malcolm. Algebraic Data Types and Program Transformation. PhD thesis, University of Groningen, 1990.

    Google Scholar 

  15. Lambert Meertens. Algorithmics—towards programming as a mathematical activity. In Proc. of the CWI Symbposium on Mathematics and Computer Science, pages 289–334. North-Holland, 1986.

    Google Scholar 

  16. Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proc. of 5th ACM Conf. on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124–144. Springer-Verlag, August 1991.

    Google Scholar 

  17. Eugenio Moggi. Notions of computations and monads. Information and Computation, 93(1):55–92, July 1991.

    Google Scholar 

  18. Simon Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987.

    Google Scholar 

  19. Tim Sheard and Leonidas Fegaras. A fold for all seasons. In Proceedings of the conference on Functional Programming and Computer Architecture, Copenhagen, June 1993.

    Google Scholar 

  20. Mike Spivey. A functional theory of exceptions. Science of Computer Programming, 14:25–42, 1990.

    Google Scholar 

  21. Philip Wadler. Comprehending monads. In Proc. 1990 ACM Conference on Lisp and Functional Programming, pages 61–78, 1990.

    Google Scholar 

  22. Philip Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pages 1–14. ACM Press, January 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Pacific Software Research Center, Oregon Graduate Institute of Science & Technology, P.O. Box 91000, 97291-1000, Portland, OR, USA

    Richard B. Kieburtz & Jeffrey Lewis

Authors
  1. Richard B. Kieburtz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jeffrey Lewis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Johan Jeuring Erik Meijer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kieburtz, R.B., Lewis, J. (1995). Programming with algebras. In: Jeuring, J., Meijer, E. (eds) Advanced Functional Programming. AFP 1995. Lecture Notes in Computer Science, vol 925. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59451-5_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-59451-5_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59451-2

  • Online ISBN: 978-3-540-49270-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation