000			01555cam a22002177a 4500
001			vtls000000344
003			VRT
005			20250102222807.0
008			080915s2005 gw a |b 101 0 eng d
020			_a3540285407 (pbk.)
039		9	_a201402040044 _bVLOAD _c201010091158 _dmalmash _c200809281232 _dmalmash _c200809151328 _dstaff _y200809151320 _zstaff
050	0	0	_aQA76.62 _b.A396 2004
245	1	0	_aAdvanced functional programming : _b5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / _cVarmo Vene, Tarmo Uustalu (eds.).
260			_aBerlin ; _aNew York : _bSpringer, _c2005.
300			_aviii, 357 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references and index.
520			_aThis tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, Combining Datatypes and Effects, GEC: a toolkit for Generic Rapid Prototyping, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs.
650		0	_aFunctional programming (Computer science) _910049
856	4	1	_uhttp://www.loc.gov/catdir/toc/fy0608/2005931987.html
942			_2lcc _n0 _cBK
999			_c3555 _d3555