Back to Results
First PageMeta Content
Programming language theory / Computing / Recursive data type / Papyrus 1 / Type system / Type safety / Generic programming / Type theory / Data types / Software engineering


Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate
Add to Reading List

Document Date: 2012-03-13 13:00:11

Open Document

File Size: 437,53 KB

Share Result on Facebook

City

New Haven / /

Company

FJ / ACM Inc. / /

Country

United States / /

/

Facility

Yale University / /

IndustryTerm

machinery / copyright/server / type systems / Source language type systems / type applications / /

Organization

CCR9901011 / Christopher League / National Science Foundation / Featherweight Java CHRISTOPHER LEAGUE / Department of Computer Science / Yale University / /

Person

VALERY TRIFONOV / Peyton Jones / /

Position

source-level programmer / Object-Oriented Constructs General / Fisher / /

ProgrammingLanguage

Java / Standard ML of New Jersey / /

ProvinceOrState

New Jersey / Connecticut / /

Technology

dom / Java / /

SocialTag