Sign In

Login

Password

Forgot Password ? Sign Up

Intersection type (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Intersection type" in English language version.

refsWebsite
Global rank English rank
8doi.org
2nd place
2nd place
3scala-lang.org
low place
low place
3github.com
383rd place
320th place
2typescriptlang.org
low place
low place
2web.archive.org
1st place
1st place
2flow.org
low place
low place
2whiley.org
low place
low place
2epfl.ch
4,521st place
4,877th place
2oracle.com
1,514th place
1,024th place
1jstor.org
26th place
20th place
1semanticscholar.org
11th place
8th place
1books.google.com
3rd place
3rd place
1arxiv.org
69th place
59th place
1psu.edu
207th place
136th place
1csharp.net
low place
low place
1eclipse.org
low place
8,992nd place
1ceylon-lang.org
low place
low place
1fsharp.org
low place
low place
1php.net
4,194th place
3,676th place
1php.watch
low place
low place

arxiv.org (Global: 69th place; English: 59th place)

  • Giuseppe Castagna, Programming with Union, Intersection, and Negation Types, https://arxiv.org/pdf/2111.03354 p. 7 Also chapter 12 in "The French School of Programming", Springer 2024, ISBN 978-3-031-34517-3

books.google.com (Global: 3rd place; English: 3rd place)

ceylon-lang.org (Global: low place; English: low place)

csharp.net (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

  • Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola (1983). "A filter lambda model and the completeness of type assignment". Journal of Symbolic Logic. 48 (4): 931–940. doi:10.2307/2273659. JSTOR 2273659. S2CID 45660117.
  • Palsberg, Jens (2012). "Overloading is NP-Complete". Logic and Program Semantics. Lecture Notes in Computer Science. Vol. 7230. pp. 204–218. doi:10.1007/978-3-642-29485-3_13. ISBN 978-3-642-29484-6.
  • Ghilezan, Silvia (1996). "Strong normalization and typability with intersection types". Notre Dame Journal of Formal Logic. 37 (1): 44–52. doi:10.1305/ndjfl/1040067315.
  • Kfoury, A.J.; Wells, J.B. (January 2004). "Principality and type inference for intersection types using expansion variables". Theoretical Computer Science. 311 (1–3): 1–70. doi:10.1016/j.tcs.2003.10.032.
  • Kopylov, Alexei (2003). "Dependent intersection: A new way of defining records in type theory". 18th IEEE Symposium on Logic in Computer Science. LICS 2003. IEEE Computer Society. pp. 86–95. CiteSeerX 10.1.1.89.4223. doi:10.1109/LICS.2003.1210048.
  • Amin, Nada; Grütter, Samuel; Odersky, Martin; Rompf, Tiark; Stucki, Sandro (2016). "The Essence of Dependent Object Types". A List of Successes That Can Change the World (PDF). Lecture Notes in Computer Science. Vol. 9600. Springer. pp. 249–272. doi:10.1007/978-3-319-30936-1_14. ISBN 978-3-319-30935-4.
  • Pollack, Robert (2000). "Dependently typed records for representing mathematical structure". Theorem Proving in Higher Order Logics, 13th International Conference. TPHOLs 2000. Springer. pp. 462–479. doi:10.1007/3-540-44659-1_29.
  • Stump, Aaron (2018). "From realizability to induction via dependent intersection". Annals of Pure and Applied Logic. 169 (7): 637–655. doi:10.1016/j.apal.2018.03.002.

eclipse.org (Global: low place; English: 8,992nd place)

projects.eclipse.org

epfl.ch (Global: 4,521st place; English: 4,877th place)

infoscience.epfl.ch

dotty.epfl.ch

flow.org (Global: low place; English: low place)

fsharp.org (Global: low place; English: low place)

github.com (Global: 383rd place; English: 320th place)

jstor.org (Global: 26th place; English: 20th place)

  • Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola (1983). "A filter lambda model and the completeness of type assignment". Journal of Symbolic Logic. 48 (4): 931–940. doi:10.2307/2273659. JSTOR 2273659. S2CID 45660117.

oracle.com (Global: 1,514th place; English: 1,024th place)

oracle.com

docs.oracle.com

php.net (Global: 4,194th place; English: 3,676th place)

php.watch (Global: low place; English: low place)

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

scala-lang.org (Global: low place; English: low place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

  • Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola (1983). "A filter lambda model and the completeness of type assignment". Journal of Symbolic Logic. 48 (4): 931–940. doi:10.2307/2273659. JSTOR 2273659. S2CID 45660117.

typescriptlang.org (Global: low place; English: low place)

web.archive.org (Global: 1st place; English: 1st place)

whiley.org (Global: low place; English: low place)