Back to Results
First PageMeta Content
Type theory / Constraint programming / Data types / Method / C++ / Type system / Constructor / Constraint inference / Objective-C / Software engineering / Computing / Computer programming


Constrained Types for Object-Oriented Languages Nathaniel Nystrom ∗ Vijay Saraswat ∗ Jens Palsberg †
Add to Reading List

Document Date: 2011-06-21 07:45:41

Open Document

File Size: 226,17 KB

Share Result on Facebook

City

Class / Nashville / Yorktown / Field / Method / /

Company

IBM / /

Country

United States / /

Currency

USD / /

/

Facility

Boelter Hall / John Green Hall / University of Denver / /

IndustryTerm

performance computing / concurrent and distributed systems / type systems / constraint systems / highperformance computing / /

NaturalFeature

Heights NY / /

Organization

United Nations / Department of Computer Science / University of Denver / UCLA Computer Science Department / /

Person

Christian Grothoff / List / Vijay Saraswat / Jens Palsberg / Nathaniel Nystrom / /

Position

this.head / var head / Major / Constraints General / programmer / head / /

ProgrammingLanguage

Java / C / Scala / /

ProvinceOrState

Tennessee / /

Technology

alpha / object-oriented programming / 3-d / Java / /

SocialTag