| 000 | 02508nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-45340-3 | ||
| 003 | DE-He213 | ||
| 005 | 20240730200404.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 |
|
| 072 | 7 |
_aUM _2thema |
|
| 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. |
| 250 | _a1st ed. 2014. | ||
| 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 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _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 programming. _94169 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 1 | 4 |
_aProgramming Techniques. _9163118 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 700 | 1 |
_aMcCarthy, Jay. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9163119 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9163120 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642453397 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642453410 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8322 _9163121 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-45340-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c96025 _d96025 |
||