Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University

First Page		Document Content
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

	JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide • DocID: 1rt1j - View Document
	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems DocID: 1rk18 - View Document
	Computer Communications–4059 Contents lists available at ScienceDirect Computer Communications journal homepage: www.elsevier.com/locate/comcom DocID: 1rbCM - View Document
	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & DocID: 1r89z - View Document
	DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu DocID: 1qSge - View Document