Type-theory in color, International Conference on Functional Programming . 61?72, 2013. ,
DOI : 10.1145/2500365.2500577
Experiments in generic programming: runtime type representation and implicit values. Presentation at the OCaml Users and Developers meeting, 2012. ,
A Categorical Treatment of Ornaments, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013. ,
DOI : 10.1109/LICS.2013.60
URL : https://hal.archives-ouvertes.fr/hal-01081545
Transporting functions across ornaments, J. Funct. Program, vol.24, pp.2-3, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00922581
On the Bright Side of Type Classes: Instance Arguments in Agda, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11). 143?155, 2011. ,
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem, ACM Transactions on Programming Languages and Systems, vol.29, issue.17, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00484971
The Design and Implementation of BER??MetaOCaml, 2014. ,
DOI : 10.1007/978-3-319-07151-0_6
Analysis and synthesis of inductive families. DPhil dissertation, 2014. ,
Modularising inductive families, Progress in Informatics, vol.10, 2013. ,
DOI : 10.1145/2036918.2036921
Abstract, Journal of Functional Programming, vol.10, 2016. ,
DOI : 10.1007/BF01211308
Ornamental Algebras, Algebraic Ornaments, 2011. ,
Ghostbuster: A Tool for Simplifying and Converting GADTs, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016. ,
Trees that grow https://www.microsoft.com/en-ustrees-that-grow-2.pdf Chris Okasaki, Views for Standard ML. In In SIGPLAN Workshop on ML. 14?23, 1998. ,
Implicit Parameters Scala documentation https://docs.scala-lang.org/tour/implicit-parameters.html Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers Let Should Not Be Generalised, Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation, 2010. ,
Views: a way for pattern matching to cohabit with data abstraction, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1986. ,
DOI : 10.1145/41625.41653
Modular implicits, Proceedings ML Family/OCaml Users and Developers workshops, 2014. ,
DOI : 10.1007/978-3-319-07151-0_8
URL : http://arxiv.org/pdf/1512.01895
Ornaments in practice, Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP '14, 2014. ,
DOI : 10.1145/2633628.2633631
URL : https://hal.archives-ouvertes.fr/hal-01081547
A Principled Approach to Ornamentation in ML, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01628060