Sin autor <br/><br/>
Advanced topics in types and programming languages 

 - Londres :  [S.n.],  2005 
 - xiii, 574 p.  ;  24 cm. 
<br/><br/>Substructural type systems -- Dependent types -- Effect types and region-based memory management -- Typed assembly language -- Proof-Carrying code -- Logical relations and a case study in equivalence checking -- Typed operational reasoning -- Design considerations for ML-Style module systems -- Type definitions -- The essence of ML type intrefarence. 
<br/><br/><label>ISBN: </label>0262162288 
<br/><br/><label>Standard No.: </label>DIF-M2901 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LENGUAJES DE PROGRAMACIÓN<br/>ASSEMBLER<br/>LENGUAJES DE BAJO NIVEL<br/>LENGUAJE ENSAMBLADOR