Skip to main content
SpringerLink
Log in

Functional programming: An angry half-dozen

  • Invited Talks
  • Conference paper
  • First Online:
Database Programming Languages (DBPL 1997)

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

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. Joe Armstrong. The development of Erlang. ACM SIGPLAN International Conference on Functional Programming, June 1997; SIGPLAN Notices 32(8):196–203, August 1997. Also see the Erlang page: http://vtm.erlang.se

    Google Scholar 

  2. Lennart Augustsson. Partial evaluation in aircraft crew planning. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, June 1997; SIGPLAN Notices 32(12):127–136, December 1997.

    Google Scholar 

  3. Edoardo Biagioni, Robert Harper, Peter Lee, and Brian G. Milnes. Signatures for a network protocol stack: A systems application of Standard ML. ACM Conference on Lisp and Functional Programming, 1994. Also see the Fox Project page: http://foxnet.cs.cmu.edu

    Google Scholar 

  4. P. Buneman, S. B. Davidson, K. Hart, C. Overton, and L. Wong. A Data Transformation System for Biological Data Sources. Proceedings of 21st International Conference on Very Large Data Bases, Zurich, Switzerland, September 1995. Also see the Kleisli page and the twelve queries: http://sdmc.iss.nus.sg/kleisli/ MoreInfo.html,misc/doe-queries.html

    Google Scholar 

  5. P. Buneman, L.Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension Syntax. ACM SIGMOD Record 23(1):87–96, March 1994. (Invited paper.)

    Google Scholar 

  6. Albert J. Camilleri. A hybrid approach to verifying liveness in a symmetric multiprocessor. 10'th International Conference on Theorem Proving in Higher-Order Logics, Elsa Gunter and Amy Felty, editors, Murray Hill, New Jersey, August 1997. Lecture Notes in Computer Science 1275, Springer Verlag, 1997.

    Google Scholar 

  7. Sandra Corrico, Bryan Ewbank, Tim Griffin, John Meale, and Howard Trickey. A tool for developing safe and efficient database transactions. XV International Switching Symposium of the World Telecommunications Congress, pages 173–177, April 1995.

    Google Scholar 

  8. Robert J. Robbins, Editor. Report of the Invitational DOE Workshop on Genome Informatics, 26–27 April 1993. http://www.bis.med.jhmi.edu/Dan/DOE/ whitepaper/contents.html

    Google Scholar 

  9. Conal Elliot and Paul Hudak. Functional reactive animation. ACM SIGPLAN International Conference on Functional Programming, June 1997; SIGPLAN Notices 32(8):196–203, August 1997.

    Google Scholar 

  10. M. J. Gordon and T. F. Melham, editors. Introduction to HOL: A theorem proving environment for higher-order logic. Cambridge University Press, 1993. Also see the HOL page: http://wvw.dcs.glasgow.ac.uk/ifm/ fmt/hol.html

    Google Scholar 

  11. M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF. Lecture Notes in Computer Science, Vol. 78, Springer-Verlag, 1979.

    Google Scholar 

  12. Pieter Hartel, et al. Benchmarking implementations of functional languages with'Pseudoknot', a float-intensive benchmark. Journal of Functional Programming, 6(4):621–656, July 1996.

    Google Scholar 

  13. Mark Hayden and Robbert vanRenesse. Optimizing Layered Communication Protocols. Symposium on High Performance Distributed Computing, Portlan, Oregon, August 1997. Also see the Ensemble page: http://simon.cs.cornell.edu/Info/ Projects/Ensemble/

    Google Scholar 

  14. Jonathon Hogg and Philip Wadler. Real-world applications of functional programming. http://www.dcs.gla.ac.uk/fp/realworld/

    Google Scholar 

  15. Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauss, and Cordy Hall. Natural Expert: a commercial functional programming environment. Journal of Functional Programming, 7(2):163–182, March 1997.

    Google Scholar 

  16. M. A. Ozols, K. A. Eastaughffe, and A. Cant. DOVE: Design Oriented Verification and Evaluation. Proceedings of AMAST 97, M. Johnson, editor, Sydney, Australia. Lecture Notes in Computer Science 1349, Springer Verlag, 1997.

    Google Scholar 

  17. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. Springer-Verlag LNCS 828, 1994. Also see the Isabelle page: http://www.cl.cam.ac.uk/Research/ HVG/Isabelle/

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bell Labs, Lucent Technologies, USA

    Philip Wadler

Authors
  1. Philip Wadler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Sophie Cluet Rick Hull

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wadler, P. (1998). Functional programming: An angry half-dozen. In: Cluet, S., Hull, R. (eds) Database Programming Languages. DBPL 1997. Lecture Notes in Computer Science, vol 1369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64823-2_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-64823-2_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64823-9

  • Online ISBN: 978-3-540-68534-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation