An angry half-dozen

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 2, 1998, Pages 25-30

  Wadler, Philip ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013114202     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/274930.274933     Document Type: Article

References (20)

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://www.erlang.se
2. 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://www.erlang.se
3. 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.
4. 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.
5. 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.emu.edu
6. 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
7. P. Buneman, L. Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension Syntax. ACM SIGMOD Record 23(1):87-96, March 1994. (Invited paper.)
8. 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.
9. 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.
10. 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
11. 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.
12. 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.
13. 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://www.des.glasgow.ac.uk/~tfm/ fmt/hol.html
14. M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF. Lecture Notes in Computer Science, Vol. 78, Springer-Verlag, 1979.
15. 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.
16. 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/
17. 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.
18. 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.
19. 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/
20. Philip Wadler. Functional programming in the real world. http://www.es.bell-labs.com/~wadler/ realword/