Cargando…
Trends in Functional Programming.
Volume 6. This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Bristol :
Intellect,
2007.
|
| Colección: | Trends in Functional Programming.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn476124839 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn|---||||| | ||
| 008 | 091207s2007 enk o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d MERUC |d OCLCQ |d DEBSZ |d OCLCQ |d YDXCP |d OCLCQ |d ZCU |d GBVCP |d OCLCO |d OCLCF |d ICG |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781841509907 |q (electronic bk.) | ||
| 020 | |a 1841509906 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000048830791 | |
| 029 | 1 | |a DEBBG |b BV044128159 | |
| 029 | 1 | |a DEBSZ |b 396156835 | |
| 029 | 1 | |a GBVCP |b 1020643706 | |
| 035 | |a (OCoLC)476124839 | ||
| 050 | 4 | |a QA76.62 .T74 2007 | |
| 082 | 0 | 4 | |a 005.11 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Van Eekelen, Marko. | |
| 245 | 1 | 0 | |a Trends in Functional Programming. |
| 260 | |a Bristol : |b Intellect, |c 2007. | ||
| 300 | |a 1 online resource (240 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in Functional Programming | |
| 520 | |a Volume 6. This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types. Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a project) papers are represented. Particular trends in this volume are:. - software engineering technique. | ||
| 505 | 0 | |a Front Cover; Preliminary Pages; Contents; Best Student Paper: A New Approach to One-Pass Transformations; A Static Checker for Safe Pattern Matching in Haskell; Software Metrics: Measuring Haskell; Type-Specialized Serialization with Sharing; Logical Relations for Call-by-value Delimited Continuations; Epigram Reloaded: A Standalone Typechecker for ETT; Formalisation of Haskell Refactorings; Systematic Search for Lambda Expressions; First-Class Open and Closed Code Fragments; Comonadic Functional Attribute Evaluation; Generic Generation of the Elements of Data Types. | |
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Functional programming (Computer science) | |
| 650 | 6 | |a Programmation (Informatique) | |
| 650 | 6 | |a Programmation fonctionnelle. | |
| 650 | 7 | |a computer programming. |2 aat | |
| 650 | 7 | |a Computer programming |2 fast | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 758 | |i has work: |a Trends in Functional Programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYpJGkdwcGcW6fr7m7PTXm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 1 | |z 9781841501765 | |
| 830 | 0 | |a Trends in Functional Programming. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=327870 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL327870 | ||
| 938 | |a YBP Library Services |b YANK |n 2758830 | ||
| 994 | |a 92 |b IZTAP | ||