"I am a professor of computer science in Orléans (teaching: IUT, UFR Sciences - research: LIFO). My general interests are in programming language design and implementation, constraint programming, and computational linguistics."
Abstract. Join patterns are an attractive declarative way to synchronize both threads and asynchronous distributed computations. We explore joins in the context of extensible pattern matching that recently appeared in languages such as F# and Scala. Our implementation supports join patterns with multiple synchronous events, and guards. Furthermore, we integrated joins into an existing actor-based concurrency framework. It enables join patterns to be used in the context of more advanced synchronization modes, such as future-type message sending and token-passing continuations.
V. Giraldo, L. Carvalho, и D. Tall. Proceedings of the 27 thAnnual Conference of the International Group for the Psychology of Mathematics Education, (2003)