Higher-order abstract syntax (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Higher-order abstract syntax" in English language version.

refsWebsite
Global rank English rank
low place
low place
2nd place
2nd place
1,564th place
1,028th place
1st place
1st place
4,903rd place
3,679th place
11th place
8th place

cmu.edu (Global: 1,564th place; English: 1,028th place)

cs.cmu.edu

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

inria.fr (Global: 4,903rd place; English: 3,679th place)

hal.inria.fr

polytechnique.fr (Global: low place; English: low place)

lix.polytechnique.fr

  • Dale Miller; Gopalan Nadathur (1987). A Logic Programming Approach to Manipulating Formulas and Programs (PDF). IEEE Symposium on Logic Programming. pp. 379–388.
  • Dale Miller (2000). Abstract Syntax for Variable Binders: An Overview (PDF). Computational Logic - {CL} 2000. pp. 239–253. Archived from the original (PDF) on 2006-12-02.

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

api.semanticscholar.org

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