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

2polytechnique.fr

low place

2doi.org

2^nd place

1cmu.edu

1,564^th place

1,028^th place

1web.archive.org

1^st place

1inria.fr

4,903^rd place

3,679^th place

1semanticscholar.org

11^th place

8^th place

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

cs.cmu.edu

Frank Pfenning, Conal Elliott (1988). Higher-order abstract syntax (PDF). Proceedings of the ACM SIGPLAN PLDI '88. pp. 199–208. doi:10.1145/53990.54010. ISBN 0-89791-269-1.

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

Frank Pfenning, Conal Elliott (1988). Higher-order abstract syntax (PDF). Proceedings of the ACM SIGPLAN PLDI '88. pp. 199–208. doi:10.1145/53990.54010. ISBN 0-89791-269-1.
Miller, Dale (October 2019). "Mechanized metatheory revisited" (PDF). Journal of Automated Reasoning. 63 (3): 625–665. doi:10.1007/s10817-018-9483-3. S2CID 254605065.

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

hal.inria.fr

Miller, Dale (October 2019). "Mechanized metatheory revisited" (PDF). Journal of Automated Reasoning. 63 (3): 625–665. doi:10.1007/s10817-018-9483-3. S2CID 254605065.

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: 11^th place; English: 8^th place)

api.semanticscholar.org

Miller, Dale (October 2019). "Mechanized metatheory revisited" (PDF). Journal of Automated Reasoning. 63 (3): 625–665. doi:10.1007/s10817-018-9483-3. S2CID 254605065.

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

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.

Higher-order abstract syntax (English Wikipedia)

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