User menu

Convergence in language design: A case of lightning striking four times in the same place

Bibliographic reference Van Roy, Peter. Convergence in language design: A case of lightning striking four times in the same place.8th International Symposium on Functional and Logic Programming (Fuji Inst Educ & Training, Fuji Susono (Japan), Apr 24-26, 2006). In: Lecture Notes in Computer Science, Vol. 3945, p. 2-12 (2006)
Permanent URL
  1. Agorics, Inc. (2004),
  2. Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, 2nd edn. MIT Press, Cambridge (1996)
  3. Al-Metwally, M.: Design and Implementation of a Fault-Tolerant Transactional Object Store. PhD thesis, Al-Azhar University, Cairo, Egypt (December 2003)
  4. Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, Royal Institute of Technology (KTH), Kista, Sweden (November 2003)
  5. Armstrong, J., Williams, M., Wikström, C., Virding, R.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
  6. Cardelli, L.: A language with distributed scope. In: Principles of Programming Languages (POPL), San Francisco, CA, pp. 286–297. ACM Press, New York (1995)
  7. Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: 6th Symposium on Operating Systems Design and Implementation (OSDI 2004), December 2004, pp. 137–150 (2004)
  8. Ericsson: Open Telecom Platform—User’s Guide, Reference Manual, Installation Guide, OS Specific Parts. In: Telefonaktiebolaget LM Ericsson, Stockholm, Sweden (1996)
  9. Felleisen Matthias, On the expressive power of programming languages, ESOP '90 (1990) ISBN:9783540525929 p.134-151, 10.1007/3-540-52592-0_60
  10. Hardy Norman, KeyKOS architecture, 10.1145/858336.858337
  11. Haridi Seif, Van Roy Peter, Brand Per, Mehl Michael, Scheidhauer Ralf, Smolka Gert, Efficient logic variables for distributed computing, 10.1145/319301.319347
  12. Haridi Seif, Van Roy Peter, Brand Per, Schulte Christian, Programming languages for distributed applications, 10.1007/bf03037481
  13. Hewitt Carl, Viewing control structures as patterns of passing messages, 10.1016/0004-3702(77)90033-9
  14. Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: 3rd International Joint Conference on Artificial Intelligence (IJCAI), August 1973, pp. 235–245 (1973)
  15. Holt R. C., Wortman D. B., Barnard D. T., Cordy J. R., SP/k: a system for teaching computer programming, 10.1145/359581.359586
  16. Janson, S., Montelius, J., Haridi, S.: Ports for Objects in Concurrent Logic Programs. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Trends in Object-Based Concurrent Computing, pp. 211–231. MIT Press, Cambridge (1993)
  17. Lambda the Ultimate discussion. State and modularity (October 2003),
  18. Lea, D.: Concurrent Programming in Java, 2nd edn. Addison-Wesley, Reading (2000)
  19. Miller Mark S., Morningstar Chip, Frantz Bill, Capability-Based Financial Instruments, Financial Cryptography (2001) ISBN:9783540427001 p.349-378, 10.1007/3-540-45472-1_24
  20. Miller Mark S., Tribble E. Dean, Shapiro Jonathan, Concurrency Among Strangers, Trustworthy Global Computing (2005) ISBN:9783540300076 p.195-229, 10.1007/11580850_12
  21. Miller, M.S., Stiegler, M., Close, T., Frantz, B., Yee, K.-P., Morningstar, C., Shapiro, J., Hardy, N., Tribble, E.D., Barnes, D., Bornstien, D., Wilcox-O’Hearn, B., Stanley, T., Reid, K., Darius Bacon, E.: Open source distributed capabilities (2001), Available at
  22. Morrison, J.P.: Flow-Based Programming: A New Approach to Application Development. Van Nostrand Reinhold, New York (1994)
  23. Shapiro Ehud, The family of concurrent logic programming languages, 10.1145/72551.72555
  24. Spiessens Fred, Van Roy Peter, The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language, Multiparadigm Programming in Mozart/Oz (2005) ISBN:9783540250791 p.21-40, 10.1007/978-3-540-31845-3_3
  25. Stiegler, M.: The SkyNet virus: Why it is unstoppable; How to stop it. Talk available,
  26. Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004)
  27. Van Roy Peter, Haridi Seif, Brand Per, Smolka Gert, Mehl Michael, Scheidhauer Ralf, Mobile objects in distributed Oz, 10.1145/265943.265972
  28. Waldo, J., Wyant, G., Wollrath, A., Kendall, S.C.: A note on distributed computing. In: Second International Workshop on Mobile Object Systems– Towards the Programmable Internet, July 1996, pp. 49–64 (1996); Originally published at Sun Microsystems Laboratories in 1994
  29. Wiger, U.: Four-fold increase in productivity and quality – industrial-strengh functional programming in telecom-class products. In: Proceedings of the 2001 Workshop on Formal Design of Safety Critical Embedded Systems (2001)
  30. Wikipedia, the free encyclopedia. Entry “virtual economy” (January 2006),