Typing rule (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Typing rule" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

2semanticscholar.org

11^th place

8^th place

916^th place

706^th place

1,185^th place

840^th place

4,903^rd place

3,679^th place

69^th place

59^th place

5^th place

5^th place

acm.org

dl.acm.org

Clément, Dominique; Despeyroux, Thierry; Kahn, Gilles; Despeyroux, Joëlle (8 August 1986). "A simple applicative language: Mini-ML". Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 (PDF). Association for Computing Machinery. pp. 13–27. doi:10.1145/319838.319847. ISBN 0897912004. S2CID 5126579.

arxiv.org

Dunfield, Jana; Krishnaswami, Neel (23 May 2021). "Bidirectional Typing". ACM Computing Surveys. 54 (5): 98:19. arXiv:1908.05839. doi:10.1145/3450952. ISSN 0360-0300. S2CID 201058734.

doi.org

Clément, Dominique; Despeyroux, Thierry; Kahn, Gilles; Despeyroux, Joëlle (8 August 1986). "A simple applicative language: Mini-ML". Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 (PDF). Association for Computing Machinery. pp. 13–27. doi:10.1145/319838.319847. ISBN 0897912004. S2CID 5126579.
Dunfield, Jana; Krishnaswami, Neel (23 May 2021). "Bidirectional Typing". ACM Computing Surveys. 54 (5): 98:19. arXiv:1908.05839. doi:10.1145/3450952. ISSN 0360-0300. S2CID 201058734.

inria.fr

hal.inria.fr

Clément, Dominique; Despeyroux, Thierry; Kahn, Gilles; Despeyroux, Joëlle (8 August 1986). "A simple applicative language: Mini-ML". Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 (PDF). Association for Computing Machinery. pp. 13–27. doi:10.1145/319838.319847. ISBN 0897912004. S2CID 5126579.

semanticscholar.org

api.semanticscholar.org

Clément, Dominique; Despeyroux, Thierry; Kahn, Gilles; Despeyroux, Joëlle (8 August 1986). "A simple applicative language: Mini-ML". Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 (PDF). Association for Computing Machinery. pp. 13–27. doi:10.1145/319838.319847. ISBN 0897912004. S2CID 5126579.
Dunfield, Jana; Krishnaswami, Neel (23 May 2021). "Bidirectional Typing". ACM Computing Surveys. 54 (5): 98:19. arXiv:1908.05839. doi:10.1145/3450952. ISSN 0360-0300. S2CID 201058734.

utexas.edu

golem.ph.utexas.edu

Baez, John. "The n-Category Café". golem.ph.utexas.edu. Retrieved 30 September 2022.

worldcat.org

search.worldcat.org

Dunfield, Jana; Krishnaswami, Neel (23 May 2021). "Bidirectional Typing". ACM Computing Surveys. 54 (5): 98:19. arXiv:1908.05839. doi:10.1145/3450952. ISSN 0360-0300. S2CID 201058734.