Polymorphic recursion (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Polymorphic recursion" in English language version.

Last modified: 18:45:40, 11 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

299^th place

159^th place

2^nd place

15^th place

8^th place

6^th place

archive.org (Global: 6^th place; English: 6^th place)

Henglein 1993. Henglein, Fritz (1993). "Type inference with polymorphic recursion". ACM Transactions on Programming Languages and Systems. 15 (2): 253–289. CiteSeerX 10.1.1.42.3091. doi:10.1145/169701.169692. S2CID 17411856. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Tofte, Mads; Talpin, Jean-Pierre (1994). "Implementation of the Typed Call-by-Value λ-calculus using a Stack of Regions". POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM. pp. 188–201. doi:10.1145/174675.177855. ISBN 0-89791-636-0.

Henglein 1993. Henglein, Fritz (1993). "Type inference with polymorphic recursion". ACM Transactions on Programming Languages and Systems. 15 (2): 253–289. CiteSeerX 10.1.1.42.3091. doi:10.1145/169701.169692. S2CID 17411856. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Dussart, Dirk; Henglein, Fritz; Mossin, Christian. "Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time". Proceedings of the 2nd International Static Analysis Symposium (SAS). CiteSeerX 10.1.1.646.5884. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)