Tools

LEADER 02416cam a22004694a 4500

001 ocm47136739;

003 OCoLC;

005 20141212160748.0;

007 cr un---------;

008 010608s2001 gw a b 101 0 eng ;

010 a| 2001042069;

015 a| GBA1-38795;

020 a| 3540421963 (pbk. : alk. paper);

035 a| (Sirsi) o47136739;

035 a| (OCoLC)47136739;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.C65b| T52 2000;

082 00 a| 005.4/532| 21;

111 2 a| TIC (Conference)=| ^A406780;

245 10 a| Types in compilation :b| third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers /c| Robert Harper, (ed.).;

300 a| 206 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2071;

504 a| Includes bibliographical references and index.;

505 0 a| Sound and complete elimination of singleton kinds / Karl Crary -- Program representation size in an intermediate language with intersection and union types / Allyn Dimock ... [et al.] -- An abstract model of Java dynamic linking and loading / Sophia Drossopoulou -- Sharing in typed module assembly language / Dominic Duggan -- Scalable certification for typed assembly language / Dan Grossman, Greg Morrisett -- Safe and flexible dynamic linking of native code / Michael Hicks, Stephanie Weirich, Karl Crary -- Alias types for recursive data structures / David Walker, Greg Morrisett.;

530 a| Also available via the World Wide Web.;

650 0 a| Compiling (Electronic computers)v| Congresses.=| ^A18145;

700 1 a| Harper, Robert William,d| 1957-=| ^A493776;

830 0 a| Lecture notes in computer sciencev| 2071.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2071.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har015018931c| 70.00 DEM;

980 a| 2001-11-07b| 45d| 2.78e| 42.75f| 923465;

596 a| 1;

998 a| 860158;

999 a| QA76.76.C65 T52 2000w| LCc| 1i| 30372011345110d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERp| $42.75r| Ys| Yt| JGESBKu| 11/27/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers / Robert Harper, (ed.).

Author/creator	TIC (Conference)
Other author	Harper, Robert William, 1957-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2001.
Description	206 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Compiling (Electronic computers)--Congresses.

Series	Lecture notes in computer science ; 2071 Lecture notes in computer science 2071. ^A466336
Contents	Sound and complete elimination of singleton kinds / Karl Crary -- Program representation size in an intermediate language with intersection and union types / Allyn Dimock ... [et al.] -- An abstract model of Java dynamic linking and loading / Sophia Drossopoulou -- Sharing in typed module assembly language / Dominic Duggan -- Scalable certification for typed assembly language / Dan Grossman, Greg Morrisett -- Safe and flexible dynamic linking of native code / Michael Hicks, Stephanie Weirich, Karl Crary -- Alias types for recursive data structures / David Walker, Greg Morrisett.
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2001042069
ISBN	3540421963 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.C65 T52 2000	✔ Available	Place Hold

Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers / Robert Harper, (ed.).

Click here for more information about this title

Availability