Type inference (English Wikipedia)

Emele, Martin C., and Rémi Zajac. "Typed unification grammars Archived 2018-02-05 at the Wayback Machine." Proceedings of the 13th conference on Computational linguistics-Volume 3. Association for Computational Linguistics, 1990.

arxiv.org (Global: 49^th place; English: 31^st place)

Protin, M. Clarence; Ferreira, Gilda (2022). "Typability and Type Inference in Atomic Polymorphism". Logical Methods in Computer Science 7417. arXiv:2104.13675. doi:10.46298/lmcs-18(3:22)2022.

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

Benjamin C. Pierce (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8.
Stuart M. Shieber (1992). Constraint-based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages. MIT Press. ISBN 978-0-262-19324-5.

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

en.cppreference.com

"Placeholder type specifiers (since C++11) - cppreference.com". en.cppreference.com. Retrieved 2021-08-15.

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

"The Dart type system". dart.dev. Retrieved 2020-11-21.

dash.harvard.edu (Global: 9,286^th place; English: 5,687^th place)

Lappin, Shalom; Shieber, Stuart M. (2007). "Machine learning theory and practice as a source of insight into universal grammar" (PDF). Journal of Linguistics. 43 (2): 393–427. doi:10.1017/s0022226707004628. S2CID 215762538.

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

Protin, M. Clarence; Ferreira, Gilda (2022). "Typability and Type Inference in Atomic Polymorphism". Logical Methods in Computer Science 7417. arXiv:2104.13675. doi:10.46298/lmcs-18(3:22)2022.
Hassan, Mostafa; Urban, Caterina; Eilers, Marco; Müller, Peter (2018). "MaxSMT-Based Type Inference for Python 3". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. pp. 12–19. doi:10.1007/978-3-319-96142-2_2. ISBN 978-3-319-96141-5.
Milner, Robin (1978), "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, 17 (3): 348–375, doi:10.1016/0022-0000(78)90014-4, hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66
Lappin, Shalom; Shieber, Stuart M. (2007). "Machine learning theory and practice as a source of insight into universal grammar" (PDF). Journal of Linguistics. 43 (2): 393–427. doi:10.1017/s0022226707004628. S2CID 215762538.

ed.ac.uk (Global: 1,867^th place; English: 1,129^th place)

era.lib.ed.ac.uk

Pareschi, Remo. "Type-driven natural language analysis." (1988).

gnome.org (Global: 4,412^th place; English: 4,268^th place)

wiki.gnome.org

"Projects/Vala/Tutorial - GNOME Wiki!". wiki.gnome.org. Retrieved 2021-06-28.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Milner, Robin (1978), "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences, 17 (3): 348–375, doi:10.1016/0022-0000(78)90014-4, hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66

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

docs.julialang.org

"Inference · The Julia Language". docs.julialang.org. Retrieved 2020-11-21.

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

"Kotlin language specification". kotlinlang.org. Retrieved 2021-06-28.

microsoft.com (Global: 263^rd place; English: 259^th place)

docs.microsoft.com

cartermp. "Type Inference - F#". docs.microsoft.com. Retrieved 2020-11-21.
KathleenDollard. "Local Type Inference - Visual Basic". docs.microsoft.com. Retrieved 2021-06-28.

mit.edu (Global: 476^th place; English: 340^th place)

groups.csail.mit.edu

Damas, Luis; Milner, Robin (1982), "Principal type-schemes for functional programs", POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on principles of programming languages (PDF), ACM, pp. 207–212

open-std.org (Global: 7,079^th place; English: 5,042^nd place)

"WG14-N3007: Type inference for object definitions". open-std.org. 2022-06-10. Archived from the original on December 24, 2022.

princeton.edu (Global: 802^nd place; English: 528^th place)

cs.princeton.edu

Fisher, Kathleen, et al. "Fisher, Kathleen, et al. "From dirt to shovels: fully automatic tool generation from ad hoc data." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008." ACM SIGPLAN Notices. Vol. 43. No. 1. ACM, 2008.

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

book.realworldhaskell.org

Bryan O'Sullivan; Don Stewart; John Goerzen (2008). "Chapter 25. Profiling and optimization". Real World Haskell. O'Reilly.

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

doc.rust-lang.org

"Statements - The Rust Reference". doc.rust-lang.org. Retrieved 2021-06-28.

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

docs.scala-lang.org

"Type Inference". Scala Documentation. Retrieved 2020-11-21.

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

pdfs.semanticscholar.org

Talpin, Jean-Pierre, and Pierre Jouvelot. "Polymorphic type, region and effect inference." Journal of functional programming 2.3 (1992): 245-271.

api.semanticscholar.org

Lappin, Shalom; Shieber, Stuart M. (2007). "Machine learning theory and practice as a source of insight into universal grammar" (PDF). Journal of Linguistics. 43 (2): 393–427. doi:10.1017/s0022226707004628. S2CID 215762538.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Hassan, Mostafa; Urban, Caterina; Eilers, Marco; Müller, Peter (2018). "MaxSMT-Based Type Inference for Python 3". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. pp. 12–19. doi:10.1007/978-3-319-96142-2_2. ISBN 978-3-319-96141-5.

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

Center, Artificiał Intelligence. Parsing and type inference for natural and computer languages Archived 2012-07-04 at the Wayback Machine. Diss. Stanford University, 1989.

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

docs.swift.org

"The Basics — The Swift Programming Language (Swift 5.5)". docs.swift.org. Retrieved 2021-06-28.

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

"Documentation - Type Inference". www.typescriptlang.org. Retrieved 2020-11-21.

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

"WG14-N3007: Type inference for object definitions". open-std.org. 2022-06-10. Archived from the original on December 24, 2022.
Center, Artificiał Intelligence. Parsing and type inference for natural and computer languages Archived 2012-07-04 at the Wayback Machine. Diss. Stanford University, 1989.
Emele, Martin C., and Rémi Zajac. "Typed unification grammars Archived 2018-02-05 at the Wayback Machine." Proceedings of the 13th conference on Computational linguistics-Volume 3. Association for Computational Linguistics, 1990.

Type inference (English Wikipedia)

aclanthology.info (Global: low place; English: low place)

arxiv.org (Global: 49th place; English: 31st place)

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

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

en.cppreference.com

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

dash.harvard.edu (Global: 9,286th place; English: 5,687th place)

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

ed.ac.uk (Global: 1,867th place; English: 1,129th place)

era.lib.ed.ac.uk

gnome.org (Global: 4,412th place; English: 4,268th place)

wiki.gnome.org

hdl.handle.net (Global: 66th place; English: 34th place)

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

docs.julialang.org

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

microsoft.com (Global: 263rd place; English: 259th place)

docs.microsoft.com

mit.edu (Global: 476th place; English: 340th place)

groups.csail.mit.edu

open-std.org (Global: 7,079th place; English: 5,042nd place)

princeton.edu (Global: 802nd place; English: 528th place)

cs.princeton.edu

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

book.realworldhaskell.org

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

doc.rust-lang.org

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

docs.scala-lang.org

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

pdfs.semanticscholar.org

api.semanticscholar.org

springer.com (Global: 182nd place; English: 172nd place)

link.springer.com

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

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

docs.swift.org

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

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

arxiv.org (Global: 49^th place; English: 31^st place)

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

dash.harvard.edu (Global: 9,286^th place; English: 5,687^th place)

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

ed.ac.uk (Global: 1,867^th place; English: 1,129^th place)

gnome.org (Global: 4,412^th place; English: 4,268^th place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

microsoft.com (Global: 263^rd place; English: 259^th place)

mit.edu (Global: 476^th place; English: 340^th place)

open-std.org (Global: 7,079^th place; English: 5,042^nd place)

princeton.edu (Global: 802^nd place; English: 528^th place)

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

springer.com (Global: 182^nd place; English: 172^nd place)

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