References

[1]

Sébastien Ailleret, Pascal Cuoq, Damien Doligez, Robert Harley, Fabrice Le Fessant, Xavier Leroy, and Alan Schmitt. Camls’R Us. Second prize at ICFP Programming contest, http://caml.inria.fr/pub/old_caml_site/icfp00-contest/, 2000.

[2]

Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams. Concurrent Programming in ERLANG. Prentice-Hall, 1996. 2nd edition.

[3]

Nick Benton, Luca Cardelli, and Cédric Fournet. Modern concurrency abstractions for C^♯. ACM Transactions on Programming Languages and Systems, 26(5):769–804, 2004.

[4]

Jean-Christophe Filliâtre. Backtracking iterators. In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006.

[5]

Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’96), pages 372–385, 1996.

[6]

Cédric Fournet, Luc Maranget, Cosimo Laneve, and Didier Rémy. Implicit typing à la ML for the join-calculus. In Proceedings of the 8th International Conference on Concurrency Theory (CONCUR’97), LNCS 1243, pages 196–212, 1997.

[7]

Andrew S. Glassner. An Introduction to Ray Tracing. Mogan Kaufmann, 1989.

[8]

Philipp Haller and Martin Odersky. Event-based programming without inversion of control. In Proceedings of the Joint Modular Languages Conference, 2006.

[9]

INMOS Ltd. OCCAM Programming Manual. Printice-Hall, 1984.

[10]

Fabrice Le Fessant. The JoCaml system. Software and documentation available at http://moscova.inria.fr/oldjocaml/index.shtml, 1998.

[11]

Leroy X. et al. The Objective Caml Language (version 3.10). Software and documentation, available at http://caml.inria.fr, 2007.

[12]

Yigong Liu. Join — an asynchronous concurrency library. Software and documentation available at http://channel.sourceforge.net/boost_join/libs/join/doc/boost_join_design.html, 2007.

[13]

Qin Ma and Luc Maranget. Compiling pattern matching in join-patterns. In Proceedings of the Fifteenth International Conference on Concurrency Theory (CONCUR’04), LNCS 3170, pages 417–431, London, UK, 2004.

[14]

Louis Mandel and Luc Maranget. The JoCaml system. Software and documentation available at http://jocaml.inria.fr/, 2007.

[15]

Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1–40 and 41–77, 1992.

[16]

Greg Morrisett and John Reppy. The third annual icfp programming contest. http://www.cs.cornell.edu/icfp/, 2000.

[17]

Erik Reinhard, Alan Chalmers, and Frederik W. Jansen. Overview of parallel photo-realistic graphics. In Proceedings of Eurographics’98, 1998.

[18]

Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, and Gert Smolka. Alice Through the Looking Glass, volume 5 of Trends in Functional Programming, pages 79–96. Intellect Books, Bristol, UK, ISBN 1-84150144-1, Munich, Germany, February 2006.

[19]

Claudio Russo. The joins concurrency library. In Proceedings of Ninth International Symposium on Practical Aspects of Declarative Languages (PADL’07), 2007.

[20]

G. Steward von Itzstein. Introduction of High Level Concurrency Semantics in Object Oriented Language. PhD thesis, University of South Australia, 2005.

[21]

Turner Whitted. An improved illumination model for shaded display. Communications of the ACM, 23:343–349, 1980.