| 000 | 02629nam a22003975i 4500 | ||
|---|---|---|---|
| 001 | 300524 | ||
| 003 | MX-SnUAN | ||
| 005 | 20160429155634.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2009 gw | o |||| 0|eng d | ||
| 020 |
_a9783642046520 _99783642046520 |
||
| 024 | 7 |
_a10.1007/9783642046520 _2doi |
|
| 035 | _avtls000353970 | ||
| 039 | 9 |
_a201509030533 _bVLOAD _c201405060328 _dVLOAD _y201402181006 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQA76.6-76.66 | |
| 100 | 1 |
_aKoopman, Pieter. _eeditor. _9338014 |
|
| 245 | 1 | 0 |
_aAdvanced Functional Programming : _b6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / _cedited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2009. |
|
| 300 | _brecurso en línea. | ||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5832 |
|
| 500 | _aSpringer eBooks | ||
| 505 | 0 | _aSelf-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. | |
| 520 | _aThis tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Self-adjusting: Computation with Delta ML, spider spinning for dummies, from reduction-based to reduction-free normalization, libraries for generic programming in Haskell, dependently typed programming in agda, parallel and concurrent programming in Haskell and an iTask case study: a conference management system. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 700 | 1 |
_aPlasmeijer, Rinus. _eeditor. _9335120 |
|
| 700 | 1 |
_aSwierstra, Doaitse. _eeditor. _9338015 |
|
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9783642046513 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-04652-0 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c300524 _d300524 |
||