![Type theory / Data types / Procedural programming languages / C++ / Type safety / Lambda calculus / Type system / ALGOL 68 / Combinatory logic / Software engineering / Computing / Programming language theory Type theory / Data types / Procedural programming languages / C++ / Type safety / Lambda calculus / Type system / ALGOL 68 / Combinatory logic / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/783dd05df18b81b94ca3409ab2419b33.jpg)
| Open Document File Size: 388,42 KBShare Result on Facebook
City Coercion / Hochstadt / / / IndustryTerm gradual type systems / Static type systems / dynamic type systems / / Organization Indiana University / University of British Columbia / / Product T10 / / ProgrammingLanguage Python / JavaScript / T / Lisp / / ProvinceOrState British Columbia / / Technology dom / /
SocialTag |