Back to Results
First PageMeta Content
Theoretical computer science / Object-oriented programming / Data types / Polymorphism / Lambda calculus / Subtype polymorphism / Type system / Lambda cube / System F / Type theory / Software engineering / Programming language theory


Pure Subtype Systems DeLesley S. Hutchins MZA Associates Corporation
Add to Reading List

Document Date: 2009-11-06 16:44:00

Open Document

File Size: 211,96 KB

Share Result on Facebook

City

Madrid / /

Company

Subtype Systems DeLesley S. Hutchins MZA Associates Corporation / Pure Type Systems / /

Country

Spain / United States / /

Currency

USD / /

/

Event

Reorganization / /

IndustryTerm

abstract reduction systems / type systems / /

Organization

United Nations / /

Person

Nat / Van Oostrom / /

/

Position

author / Programming Languages General / /

ProgrammingLanguage

C / /

RadioStation

W-G AM 1 / W-G AM 2 / /

Technology

object-oriented programming / dom / /

SocialTag