000			02170nam a22003138a 4500
001			CR9781139342131
003			UkCbUP
005			20180107143410.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			120224s2012||||enk s ||1 0|eng|d
020			_a9781139342131 (ebook)
020			_z9781107029576 (hardback)
040			_aUkCbUP _cUkCbUP _erda
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 / [electronic resource] _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 09 Oct 2015).
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 _zCambridge Books Online
999			_c236384 _d236384