Type récursif (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Type récursif" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

4,903^rd place

875^th place

1,983^rd place

3,523^rd place

low place

low place

low place

c-faq.com

(en) David A. Turner, « Total Functional Programming », Journal of Universal Computer Science, vol. 10, n^o 7,‎ 28 juillet 2004, p. 751–768 (DOI 10.3217/jucs-010-07-0751, lire en ligne [PDF])
(en) Nadji Gauthier et François Pottier, « Numbering Matters: First-Order Canonical Forms for Second-Order Recursive Types », Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), vol. 39, n^o 9,‎ septembre 2004, p. 150-161 (DOI 10.1145/1016850.1016872, lire en ligne [PDF])

(en) « The OCaml system, § 6.4. Type expressions : Aliased and recursive types », sur caml.inria.fr (consulté le 20 juillet 2016) : « Recursive types for which there exists a recursive path that does not contain an object or polymorphic variant type constructor are rejected, except when the -rectypes mode is selected. »

(en) Nadji Gauthier et François Pottier, « Numbering Matters: First-Order Canonical Forms for Second-Order Recursive Types », Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), vol. 39, n^o 9,‎ septembre 2004, p. 150-161 (DOI 10.1145/1016850.1016872, lire en ligne [PDF])

(en) David A. Turner, « Total Functional Programming », Journal of Universal Computer Science, vol. 10, n^o 7,‎ 28 juillet 2004, p. 751–768 (DOI 10.3217/jucs-010-07-0751, lire en ligne [PDF])

(en) « Type checking and recursive types (writing the Y combinator in Haskell/OCaml) », sur programmers.stackexchange.com, 27 octobre 2013 (consulté le 20 juillet 2016)