M. Alturki and J. Meseguer, Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis, Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems , RTRTS 2010, pp.26-45, 2010.
DOI : 10.4204/EPTCS.36.2

S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-reyes, E. Broch-johnsen et al., Parallel objects for multicores: A glimpse at the parallel language Encore Advanced Lectures, Formal Methods for Multicore Programming -15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, pp.1-56, 2015.

M. Devesas, C. , and L. Barbosa, Implementation of an orchestration language as a Haskell domain specific language, Electr. Notes Theor. Comput. Sci, vol.255, pp.45-64, 2009.

C. Chambers, A. Raniwala, F. Perry, S. Adams, R. R. Henry et al., Flumejava: Easy, efficient data-parallel pipelines, Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '10, pp.363-375, 2010.

D. Clarke and T. Wrigstad, Vats: A Safe, Reactive Storage Abstraction, Lecture Notes in Computer Science, vol.29, issue.3, pp.140-154, 2016.
DOI : 10.1007/3-540-61604-7_64

M. Frigo, C. E. Leiserson, and K. H. Randall, The implementation of the Cilk-5 multithreaded language, Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), pp.212-223, 1998.

R. H. Halstead and J. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

R. Hickey, The Clojure programming language, Proceedings of the 2008 symposium on Dynamic languages, DLS '08, p.1, 2008.
DOI : 10.1145/1408681.1408682

S. Imam and V. Sarkar, The Eureka programming model for speculative task parallelism, 29th European Conference on Object-Oriented Programming Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.421-444, 2015.

L. P. Simon and . Jones, Harnessing the multicores: Nested data parallelism in Haskell, Programming Languages and Systems, 6th Asian Symposium, APLAS 2008 Proceedings, p.138, 2008.

D. Kitchin, W. R. Cook, and J. Misra, A Language for Task Orchestration and Its Semantic Properties, Proceedings of the 17th International Conference on Concurrency Theory, CONCUR'06, pp.477-491, 2006.
DOI : 10.1007/11817949_32
URL : http://www.cs.utexas.edu/~wcook/papers/OrcSemantics06/OrcSemantics.pdf

D. Kitchin, A. Quark, W. Cook, and J. Misra, The Orc Programming Language, Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, FMOODS '09/FORTE '09, pp.1-25, 2009.
DOI : 10.1007/11817949_32
URL : http://orc.csres.utexas.edu/papers/forte09.pdf

J. Launchbury and T. Elliott, Concurrent orchestration in Haskell, Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, pp.79-90, 2010.
DOI : 10.1145/1863523.1863534

N. Martí-oliet and J. Meseguer, Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol.285, issue.2, pp.121-154, 2002.
DOI : 10.1016/S0304-3975(01)00357-7

D. Mccain, Parallel combinators for the Encore programming language, 2016.

M. Odersky, L. Spoon, and B. Venners, Programming in Scala: A Comprehensive Step-by-step Guide, Artima Incorporation, 2008.

T. Peierls, B. Goetz, J. Bloch, J. Bowbeer, D. Lea et al., Java Concurrency in Practice, 2005.

A. Prokopec, P. Bagwell, T. Rompf, and M. Odersky, A Generic Parallel Collection Framework, Euro-Par 2011 Parallel Processing -17th International Conference Proceedings , Part II, pp.136-147, 2011.
DOI : 10.1017/S0956796805005769
URL : http://infoscience.epfl.ch/record/165523/files/techrep.pdf?version=1

A. Prokopec, H. Miller, T. Schlatter, P. Haller, and M. Odersky, FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction, Languages and Compilers for Parallel Computing, 25th International Workshop, LCPC 2012, pp.158-173, 2012.
DOI : 10.1007/978-3-642-37658-0_11

D. Syme, T. Petricek, and D. Lomov, The F# Asynchronous Programming Model, Practical Aspects of Declarative Languages -13th International Symposium, PADL 2011 Proceedings, pp.175-189, 2011.
DOI : 10.1016/j.tcs.2008.04.037

K. Andrew, M. Wright, and . Felleisen, A syntactic approach to type soundness, Inf. Comput, vol.115, issue.1, pp.38-94, 1994.