Back to Results
First PageMeta Content
Cross-platform software / Data types / Subroutines / Type theory / Assembly languages / Java bytecode / Java / Pointer / Type system / Computing / Software engineering / Computer programming


Functional Java Bytecode∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO
Add to Reading List

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

Open Document

File Size: 159,39 KB

Share Result on Facebook

City

Geneva / Cannes / Amsterdam / Reading / London / Boston / San Diego / New Haven / New York / Oxford / /

Company

B SA / the Sun / /

Country

United States / United Kingdom / /

/

EntertainmentAwardEvent

Cannes / /

Event

Reorganization / /

Facility

C. Hall / /

IndustryTerm

compiler infrastructure / inference algorithm / call site / different systems / enormous trusted computing base / type systems / basic block algorithm / /

NaturalFeature

FLINT / /

Organization

Functional Java Bytecode∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO Computer Science Department / Defense Advanced Research Projects Agency / National Science Foundation / U.S. Government / C. League / Yale University / /

Person

Daniel Dormont / John Garvin / Stefan Monnier / Formal Syntax / L. Peyton Jones / /

Position

editor / R. Harper / and P. Lee / untrusted producer / /

Product

Jasmin / /

ProgrammingLanguage

Haskell / Standard ML / Java / Java bytecode / C / ML / /

ProvinceOrState

New Jersey / New York / Massachusetts / Connecticut / /

Technology

functional programming / virtual machine / basic block algorithm / Java / inference algorithm / just-in-time compiler / /

SocialTag