Design and architecture of an interactive eTextbook-The OpenDSA system, Science of Computer Programming, vol.88, pp.22-40, 2014. ,
A Taste of Sound Reasoning in Faust, Thirteenth Linux Audio Conference, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01251069
jsCoq: Towards Hybrid Theorem Proving Interfaces, 12th International Workshop on User Interfaces for Theorem Provers, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01425752
A Machine-Checked Proof of the Odd Order Theorem, 4th Conference on Interactive Theorem Proving, vol.7998, pp.163-179, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00816699
The Art of Computer Programming, 1968. ,
Literate Programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1981. ,
A Mathematician's Lament, 2009. ,
Constructive mathematics and computer programming, Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, pp.167-184, 1985. ,
Rethinking the computer music language: SuperCollider, Computer Music Journal, vol.26, issue.4, pp.61-68, 2002. ,
Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004. ,
DOI : 10.1007/s00500-004-0388-1
Software Foundations, 2016. ,
Mathematics of the Discrete Fourier Transform (DFT) with Audio Applications, 2007. ,
Interactive Assessment Tools for Computational Thinking in High School STEM Classrooms, 6th International Conference, pp.22-25, 2011. ,
DOI : 10.1007/978-3-319-08189-2_3