Back to Results
First PageMeta Content
Type theory / Data types / Procedural programming languages / C++ / Type safety / Lambda calculus / Type system / ALGOL 68 / Combinatory logic / Software engineering / Computing / Programming language theory


Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1
Add to Reading List

Open Document

File Size: 388,42 KB

Share 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