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.

books.google.com

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

en.cppreference.com

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

dart.dev

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

doi.org

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

era.lib.ed.ac.uk

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

gnome.org

wiki.gnome.org

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

handle.net

hdl.handle.net

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

harvard.edu

dash.harvard.edu

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.

julialang.org

docs.julialang.org

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

kotlinlang.org

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

microsoft.com

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

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

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

princeton.edu

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

book.realworldhaskell.org

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

rust-lang.org

doc.rust-lang.org

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

scala-lang.org

docs.scala-lang.org

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

semanticscholar.org

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

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

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

docs.swift.org

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

typescriptlang.org

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

web.archive.org

"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.