Sign In

Login

Password

Forgot Password ? Sign Up

Substructural type system (English Wikipedia)

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

refsWebsite
Global rank English rank
1mit.edu
415th place
327th place
1acm.org
1,185th place
840th place
1arxiv.org
69th place
59th place
1doi.org
2nd place
2nd place
1semanticscholar.org
11th place
8th place
1ucr.edu
1,553rd place
1,008th place
1ed.ac.uk
1,871st place
1,234th place
1vale.dev
low place
low place
1gobyexample.com
low place
low place
1haskell.org
low place
7,198th place
1hackingwithswift.com
low place
low place

acm.org (Global: 1,185th place; English: 840th place)

dl.acm.org

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

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

ed.ac.uk (Global: 1,871st place; English: 1,234th place)

lfcs.inf.ed.ac.uk

gobyexample.com (Global: low place; English: low place)

  • "Go by Example: Defer". Retrieved 5 December 2023. Defer is used to ensure that a function call is performed later in a program's execution, usually for purposes of cleanup. defer is often used where e.g. ensure and finally would be used in other languages.

hackingwithswift.com (Global: low place; English: low place)

haskell.org (Global: low place; English: 7,198th place)

ghc.gitlab.haskell.org

mit.edu (Global: 415th place; English: 327th place)

mitpress-request.mit.edu

  • Walker, David (2002). "Substructural Type Systems". In Pierce, Benjamin C. (ed.). Advanced Topics in Types and Programming Languages (PDF). MIT Press. pp. 3–43. ISBN 0-262-16228-8.

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

api.semanticscholar.org

ucr.edu (Global: 1,553rd place; English: 1,008th place)

math.ucr.edu

  • Baez, John C.; Stay, Mike (2010). "Physics, Topology, Logic and Computation: A Rosetta Stone". In Springer (ed.). New Structures for Physics (PDF). pp. 95–174.

vale.dev (Global: low place; English: low place)

  • "Vale's Vision". Retrieved 6 December 2023. Higher RAII, a form of linear typing that enables destructors with parameters and returns.