Back to Results
First PageMeta Content
Type theory / Object-oriented programming / Data types / Method / Scripting languages / Type system / Ruby / Type inference / Constructor / Software engineering / Computing / Computer programming


Static Type Inference for Ruby Michael Furr Jong-hoon (David) An Jeffrey S. Foster
Add to Reading List

Document Date: 2009-11-19 15:40:36

Open Document

File Size: 224,41 KB

Share Result on Facebook

City

New York / Fuji Susono / Mixin / Honolulu / Constraint / Hochstadt / /

Company

MIT Press / Google / The times / DRuby / Steel Bank Common / Olin / /

Country

Japan / United States / /

Currency

USD / /

/

Facility

library APIs / Georgia Institute of Technology / Computer Science University of Maryland College Park / Aalborg University / A. Tomb / California Polytechnic State University / /

IndustryTerm

call site / object-oriented type systems / satisfiable constraint systems / Gradual type systems / type inference algorithm / type systems / /

Organization

National Science Foundation / Aalborg University / MIT / California Polytechnic State University / San Luis Obispo / University of Maryland College Park / An Jeffrey S. Foster Michael Hicks Department / Georgia Institute of Technology / Atlanta / /

Person

Ruby Michael Furr Jong-hoon (David) / /

Position

editor / attr writer / interpreter / author / representative / Program analysis General / programmer / /

Product

Koss R-10 Headphone/Headset / Diamondback Ruby (DRuby) / /

ProgrammingLanguage

ECMAScript / Ruby on Rails / Java / Lisp / Smalltalk / C / Python / Perl / Strongtalk / Ruby / Javascript / RPython / /

ProvinceOrState

Hawaii / New York / /

Technology

Functional Programming / object-oriented programming / virtual machine / Perl / type inference algorithm / Java / Cartesian Product Algorithm / 4600 processor / /

URL

http /

SocialTag