000			01654nam a2200229Ia 4500
003			NULRC
005			20250520102711.0
008			250520s9999 xx 000 0 und d
020			_a9780262162289
040			_cNULRC
050			_aQA 76.7 .A38 2005
100			_aPierce, Benjamin C. _eauthor
245		0	_aAdvanced topics in types and programming languages / _cBenjamin C. Pierce
260			_aCambridge, Massachusetts : _bMIT Press, _cc2005
300			_axiii, 574 pages : _billustrations ; _c24 cm.
365			_bUSD110.38
504			_aIncludes bibliographical references and index.
505			_aSubstructural 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 inference.
520			_aThe topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
650			_aPROGRAMMING LANGUAGES
942			_2lcc _cBK
999			_c13344 _d13344