000			02245nam a22004935i 4500
001			978-3-642-45340-3
003			DE-He213
005			20200421112221.0
007			cr nn 008mamaa
008			131206s2014 gw | s |||| 0|eng d
020			_a9783642453403 _9978-3-642-45340-3
024	7		_a10.1007/978-3-642-45340-3 _2doi
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
082	0	4	_a005.11 _223
245	1	0	_aTrends in Functional Programming _h[electronic resource] : _b14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / _cedited by Jay McCarthy.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2014.
300			_aX, 169 p. 59 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v8322
520			_aThis book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing, and total programming.
650		0	_aComputer science.
650		0	_aComputer programming.
650		0	_aProgramming languages (Electronic computers).
650		0	_aComputer logic.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Techniques.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aMcCarthy, Jay. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642453397
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v8322
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-45340-3
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_cEBK
999			_c57423 _d57423