<--- Back to Details
First PageDocument Content
Data types / Java programming language / Cross-platform software / Java virtual machine / Java bytecode / Lambda calculus / Javac / Type system / Subtype polymorphism / Computing / Software / Type theory
Date: 2012-03-13 13:00:13
Data types
Java programming language
Cross-platform software
Java virtual machine
Java bytecode
Lambda calculus
Javac
Type system
Subtype polymorphism
Computing
Software
Type theory

Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University

Add to Reading List

Source URL: contrapunctus.net

Download Document from Source Website

File Size: 118,13 KB

Share Document on Facebook

Similar Documents

Appery, LLC Acquires Major Assets of Verivo Software to Create Best-in-class Enterprise Mobility Platform Enterprises to benefit from faster innovation and the most complete platform for the development of cross-device m

DocID: 1u1bt - View Document

Cross-Platform Development with the SDK As the founder of the Ecere open-source software project, I am pleased to share with you an introduction on how to build native cross-platform applications with the Ecere SDK. At

DocID: 1to3n - View Document

Simple Tips on Writing a Cross-Platform Program Johnny Wei-Bing Lin Computing and Software Systems Division, University of Washington Bothell Physics and Engineering Department, North Park University

DocID: 1t4y5 - View Document

Software / Computing / Videotelephony / Cross-platform software / Portable software / Skype / Indore / Software development / Content delivery network interconnection / Unit testing

Solution Approach For Design & Development

DocID: 1rudi - View Document

Software / Cross-platform software / Skype / Videotelephony

ACE  Full-­‐Time  Tutor   Application  Process   For  positions  starting  Sept.  2016     1.    Complete  AmeriCorps  Online  Application  

DocID: 1ruav - View Document