|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465606003316 |
|
|
Titolo |
Advanced Functional Programming [[electronic resource] ] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 216 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2638 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Programming languages (Electronic computers) |
Computer logic |
Programming Techniques |
Software Engineering |
Programming Languages, Compilers, Interpreters |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML. |
|
|
|
|
|
|
|
| |