000			02122nam a22003017a 4500
001			sulb-eb0015747
003			BD-SySUS
005			20160405134443.0
008			120224s2012||||enk o ||1 0|eng|d
020			_a9781139342131 (ebook)
020			_z9781107029576 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.7 _b.H377 2013
082	0	0	_a005.13 _223
100	1		_aHarper, Robert, _eauthor.
245	1	0	_aPractical Foundations for Programming Languages / _cRobert Harper.
264		1	_aCambridge : _bCambridge University Press, _c2012.
300			_a1 online resource (487 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
500			_aTitle from publisher's bibliographic system (viewed on 04 Apr 2016).
520			_aTypes are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design – the absence of ill-defined programs – follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.
650		0	_aProgramming languages (Electronic computers)
776	0	8	_iPrint version: _z9781107029576
856	4	0	_uhttp://dx.doi.org/10.1017/CBO9781139342131
942			_2Dewey Decimal Classification _ceBooks
999			_c37591 _d37591