Type inference is the process of automatically detecting the type of an expression in a formal language. This includes programming languages, mathematical type systems, and natural languages in computer science and linguistics. Type inference can help reduce the amount of code needed to be written.
UC San Diego
Winter 2017
UC San Diego's CSE 130 provides an overview of basic concepts and design trade-offs related to programming languages. The course covers a wide range of topics like scope, storage management, exceptions, and concurrency, through practical implementation.
No concepts data
+ 17 more concepts