C. Agon, J. Bresson, and G. Assayag, The OM composer's Book, Collection Musique/Sciences. Ircam/Delatour, vol.12, 2006.

F. Berthaut, D. Janin, and M. Desaintecatherine, libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisés, Actes des Journées d'informatique Musicale (JIM), 2013.

F. Berthaut, D. Janin, and B. Martin, ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH, International Journal of Semantic Computing, vol.06, issue.04, pp.409-427, 2012.
DOI : 10.1142/S1793351X12400132

URL : https://hal.archives-ouvertes.fr/hal-00698963

J. Bresson, C. Agon, and G. Assayag, Visual Lisp/CLOS programming in OpenMusic, Higher- Order and Symbolic Computation, 2009.
DOI : 10.1007/s10990-009-9044-x

URL : https://hal.archives-ouvertes.fr/hal-00683472

P. Desain and H. Honing, LOCO: A Composition Microworld in Logo, Computer Music Journal, vol.12, issue.3, pp.30-42, 1988.
DOI : 10.2307/3680334

A. Dicky and D. Janin, Embedding Finite and Infinite Words into Overlapping Tiles, Developments in Language Theory (DLT), pp.339-347, 2014.
DOI : 10.1007/978-3-319-09698-8_30

URL : https://hal.archives-ouvertes.fr/hal-00910002

J. Girard, P. Taylor, and Y. Lafont, Proofs and Types, 1989.

P. Hudak, An Algebraic Theory of Polymorphic Temporal Media, Proceedings of PADL'04 : 6th International Workshop on Practical Aspects of Declarative Languages, pp.1-15, 2004.
DOI : 10.1007/978-3-540-24836-1_1

P. Hudak, A sound and complete axiomatization of polymorphic temporal media, 2008.

P. Hudak, The Haskell School of Music : From signals to Symphonies, 2013.

P. Hudak, J. Hugues, S. P. Jones, and P. Wadler, A history of Haskell, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, 2007.
DOI : 10.1145/1238844.1238856

P. Hudak and D. Janin, Programmer avec des tuiles musicales : le t-calcul en euterpea, Actes des Journées d'informatique Musicale (JIM), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00978355

P. Hudak and D. Janin, Tiled polymorphic temporal media, Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM '14, p.page, 2014.
DOI : 10.1145/2633638.2633649

URL : https://hal.archives-ouvertes.fr/hal-00955113

D. Janin, Vers une modélisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM), 2012.

D. Janin, F. Berthaut, M. Desainte-catherine, Y. Orlarey, and S. Salvati, The T-calculus, Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM '13, pp.23-34, 2013.
DOI : 10.1145/2505341.2505347

URL : https://hal.archives-ouvertes.fr/hal-00789189

D. Janin, F. Berthaut, and M. Desaintecatherine, Multi-scale design of interactive music systems : the libTuiles experiment, Sound and Music Computing (SMC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00813313

M. V. Lawson, Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998.
DOI : 10.1142/3645

D. Perrin and J. Pin, Infinite Words : Automata, Semigroups, Logic and Games, Pure and Applied Mathematics, vol.141, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00112831