Generalized algebraic data type (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Generalized algebraic data type" in English language version.

refsWebsite

Global rank English rank

3handle.net

102^nd place

76^th place

3doi.org

2^nd place

3microsoft.com

153^rd place

151^st place

2semanticscholar.org

11^th place

8^th place

2scala-lang.org

low place

1psu.edu

207^th place

136^th place

1ocaml.org

low place

1youtube.com

9^th place

13^th place

1ghostarchive.org

32^nd place

21^st place

doi.org

Xi, Chen & Chen 2003. Xi, Hongwei; Chen, Chiyan; Chen, Gang (2003). "Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp. 224–235. CiteSeerX 10.1.1.59.4622. doi:10.1145/604131.604150. ISBN 978-1581136289. S2CID 15095297.
Sheard & Pasalic 2004. Sheard, Tim; Pasalic, Emir (2004). "Meta-programming with built-in type equality". Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-languages (LFM'04), Cork. 199: 49–65. doi:10.1016/j.entcs.2007.11.012.
Schrijvers et al. 2009, p. 1. Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios (2009). "Complete and decidable type inference for GADTs" (PDF). Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. pp. 341–352. doi:10.1145/1596550.1596599. ISBN 9781605583327. S2CID 11272015.

ghostarchive.org

Odersky, Martin. "A Tour of Scala 3 – Martin Odersky". youtube.com. Scala Days Conferences. Archived from the original on 2021-12-19. Retrieved 19 May 2021.

handle.net

hdl.handle.net

Cheney & Hinze 2003. Cheney, James; Hinze, Ralf (2003). "First-Class Phantom Types". Technical Report CUCIS TR2003-1901. Cornell University. hdl:1813/5614.
Cheney & Hinze 2003, p. 25. Cheney, James; Hinze, Ralf (2003). "First-Class Phantom Types". Technical Report CUCIS TR2003-1901. Cornell University. hdl:1813/5614.
Cheney & Hinze 2003, pp. 25–26. Cheney, James; Hinze, Ralf (2003). "First-Class Phantom Types". Technical Report CUCIS TR2003-1901. Cornell University. hdl:1813/5614.

microsoft.com

research.microsoft.com

Peyton Jones, Washburn & Weirich 2004, p. 7. Peyton Jones, Simon; Washburn, Geoffrey; Weirich, Stephanie (2004). "Wobbly types: type inference for generalised algebraic data types" (PDF). Technical Report MS-CIS-05-25. University of Pennsylvania.
Schrijvers et al. 2009, p. 1. Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios (2009). "Complete and decidable type inference for GADTs" (PDF). Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. pp. 341–352. doi:10.1145/1596550.1596599. ISBN 9781605583327. S2CID 11272015.
Peyton Jones, Washburn & Weirich 2004, p. 3. Peyton Jones, Simon; Washburn, Geoffrey; Weirich, Stephanie (2004). "Wobbly types: type inference for generalised algebraic data types" (PDF). Technical Report MS-CIS-05-25. University of Pennsylvania.

ocaml.org

"OCaml 4.00.1". ocaml.org.

psu.edu

citeseerx.ist.psu.edu

Xi, Chen & Chen 2003. Xi, Hongwei; Chen, Chiyan; Chen, Gang (2003). "Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp. 224–235. CiteSeerX 10.1.1.59.4622. doi:10.1145/604131.604150. ISBN 978-1581136289. S2CID 15095297.

scala-lang.org

Kmetiuk, Anatolii. "Scala 3 Is Here!". scala-lang.org. École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland. Retrieved 19 May 2021.

docs.scala-lang.org

"Scala 3 – Book Algebraic Data Types". scala-lang.org. École Polytechnique Fédérale Lausanne (EPFL) Lausanne, Switzerland. Retrieved 19 May 2021.

semanticscholar.org

api.semanticscholar.org

Xi, Chen & Chen 2003. Xi, Hongwei; Chen, Chiyan; Chen, Gang (2003). "Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp. 224–235. CiteSeerX 10.1.1.59.4622. doi:10.1145/604131.604150. ISBN 978-1581136289. S2CID 15095297.
Schrijvers et al. 2009, p. 1. Schrijvers, Tom; Peyton Jones, Simon; Sulzmann, Martin; Vytiniotis, Dimitrios (2009). "Complete and decidable type inference for GADTs" (PDF). Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. pp. 341–352. doi:10.1145/1596550.1596599. ISBN 9781605583327. S2CID 11272015.

youtube.com

Odersky, Martin. "A Tour of Scala 3 – Martin Odersky". youtube.com. Scala Days Conferences. Archived from the original on 2021-12-19. Retrieved 19 May 2021.