Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

by Robert Harper (Editor)

Types in Compilation.- Sound and Complete Elimination of Singleton Kinds.- Program Representation Size in an Intermediate Language with Intersection and Union Types.- An Abstract Model of Java Dynamic Linking and Loading.- Sharing in Typed Module Assembly Language.- Scalable Certification for Typed Assembly Language.- Safe and Flexible Dynamic Linking of Native Code.- Alias Types for Recursive Data Structures.

224 pages, Paperback

Published March 12, 2014

About the author

Robert Harper is a Professor of Computer Science at Carnegie Mellon University.

Librarian Note:
There is more than one author in the Goodreads database with this name.
This profile may contain books from multiple authors of this name.