ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES
Pierce, Benjamin C.
ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES - Estados Unidos de América The MIT Press - 574 pg
1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs
InglesÌ
0262162288
QA76 P54a
ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES - Estados Unidos de América The MIT Press - 574 pg
1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs
InglesÌ
0262162288
QA76 P54a