| Types in Compilation Sound and Complete Elimination of Singleton Kinds Karl Crary(Carnegie Mellon Uniuersity) Program Representation Size in an Intermediate Language with Intersection and Union Types Allyn Dimock (Harvard University), Ian Westmacott(Boston University), Robert Muller (Boston College),Franklyn Turbak (Wellesley College), J.B. Wells (Heriot- Watt University), Jeffrey Considine (Boston University) An Abstract Model of Java Dynamic Linking and Loading Sophia Drossopoulou (Imperial College) Sharing in Typed Module Assembly Language Dominic Duggan (Stevens Institute of Technology) Scalable Certification for Typed Assembly Language Dan Grossman, Greg Morrisett (Cornell University) Safe and Flexible Dynamic Linking of Native Code Michael Hicks (University of Pennsylvania), Stephanie Weirich (Cornell University), Karl Crary (Carnegie Mellon University) Alias Types for Recursive Data Structures David Walker (Carnegie Mellon University), Greg Morrisett (Cornell University) Author Index |
内容加载中，请稍后...
商品评论（0条）