Functional programming: An angry half-dozen

  • Philip Wadler
Invited Talks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1369)


Theorem Prover Functional Programming Functional Language Lazy Evaluation Management Support System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.seGoogle Scholar
  2. 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. 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.eduGoogle Scholar
  4. 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: MoreInfo.html,misc/doe-queries.htmlGoogle Scholar
  5. 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. 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. 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. 8.
    Robert J. Robbins, Editor. Report of the Invitational DOE Workshop on Genome Informatics, 26–27 April 1993. whitepaper/contents.htmlGoogle Scholar
  9. 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. 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: fmt/hol.htmlGoogle Scholar
  11. 11.
    M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF. Lecture Notes in Computer Science, Vol. 78, Springer-Verlag, 1979.Google Scholar
  12. 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. 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: Projects/Ensemble/Google Scholar
  14. 14.
    Jonathon Hogg and Philip Wadler. Real-world applications of functional programming. Scholar
  15. 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. 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. 17.
    Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. Springer-Verlag LNCS 828, 1994. Also see the Isabelle page: HVG/Isabelle/Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Philip Wadler
    • 1
  1. 1.Bell LabsLucent TechnologiesUSA

Personalised recommendations