J. Bernardy and M. Guilhem, Type-theory in color, International Conference on Functional Programming . 61?72, 2013.
DOI : 10.1145/2500365.2500577

P. Chambard and G. Henry, Experiments in generic programming: runtime type representation and implicit values. Presentation at the OCaml Users and Developers meeting, 2012.

P. Dagand and C. Mcbride, 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

P. Dagand and C. Mcbride, Transporting functions across ornaments, J. Funct. Program, vol.24, pp.2-3, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00922581

D. Devriese and F. Piessens, 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.

J. , N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce et al., 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

O. Kiselyov, The Design and Implementation of BER??MetaOCaml, 2014.
DOI : 10.1007/978-3-319-07151-0_6

H. Ko, Analysis and synthesis of inductive families. DPhil dissertation, 2014.

H. Ko and J. Gibbons, Modularising inductive families, Progress in Informatics, vol.10, 2013.
DOI : 10.1145/2036918.2036921

H. Ko and J. Gibbons, Abstract, Journal of Functional Programming, vol.10, 2016.
DOI : 10.1007/BF01211308

C. Mcbride, Ornamental Algebras, Algebraic Ornaments, 2011.

T. L. Mcdonell, T. A. Zakian, M. Cimini, and R. R. Newton, Ghostbuster: A Tool for Simplifying and Converting GADTs, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016.

S. Najd and S. , 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.

. Scala, 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.

P. Wadler, 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

L. White, F. Bour, and J. Yallop, 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

T. Williams, P. Dagand, and D. Rémy, 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

T. Williams and D. Rémy, A Principled Approach to Ornamentation in ML, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01628060