| 000 | 03969nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-40355-2 | ||
| 003 | DE-He213 | ||
| 005 | 20240730185509.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130830s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642403552 _9978-3-642-40355-2 |
||
| 024 | 7 |
_a10.1007/978-3-642-40355-2 _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 | 4 |
_aThe Beauty of Functional Code _h[electronic resource] : _bEssays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / _cedited by Peter Achten, Pieter Koopman. |
| 250 | _a1st ed. 2013. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
| 300 |
_aXIV, 285 p. 31 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8106 |
|
| 505 | 0 | _aBeautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming in the λ-Calculus: From Church to Scott and Back -- Modelling Unique and Affine Typing Using Polymorphism -- Evolution of a Parallel Task Combinator -- Beautiful Workflows: A Matter of Taste? -- Parse Your Options -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers. | |
| 520 | _aThis Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language "Clean" and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an important center of research in functional programming by organizing and hosting the first few IFL symposia in Nijmegen. This Festschrift contains 19 scientific essays written by former PhD students of Rinus Plasmeijer and researchers in the field of functional programming who have collaborated with him. The authors write about the influence the beauty of functional programming has had or still has on their work. | ||
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aMachine theory. _9139565 |
|
| 650 | 1 | 4 |
_aProgramming Techniques. _9139566 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9139567 |
| 700 | 1 |
_aAchten, Peter. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9139568 |
|
| 700 | 1 |
_aKoopman, Pieter. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9139569 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9139570 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642403545 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642403569 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8106 _9139571 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-40355-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c92859 _d92859 |
||