Willems, D. (2017). Vers un langage typé pour la programmation modulaire (Version 1.0.0) [Computer software]. https://github.com/dannywillems/master-thesis