Cargando…
Trends in functional programming. Vol. 5 /
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Bristol, UK ; Portland, OR :
Intellect,
2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocm67838100 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060428s2006 enk ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCL |d OCLCQ |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d OCLCF |d NLGGC |d OCLCO |d OCLCQ |d DEBSZ |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCL |d OCLCO |d C6I |d JBG |d AGLDB |d ZCU |d MERUC |d U3W |d OCLCQ |d VTS |d ICG |d NLE |d OCLCQ |d AU@ |d UKMGB |d STF |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCO |d OCLCQ |d JSTOR |d OCLCO |d OCLCQ |d OCLCL | ||
| 016 | 7 | |a 017989991 |2 Uk | |
| 019 | |a 150360302 |a 1057979135 | ||
| 020 | |a 1841509566 |q (electronic bk.) | ||
| 020 | |a 9781841509563 |q (electronic bk.) | ||
| 029 | 1 | |a AU@ |b 000044593897 | |
| 029 | 1 | |a DEBBG |b BV043064947 | |
| 029 | 1 | |a DEBBG |b BV044122473 | |
| 029 | 1 | |a DEBSZ |b 422278327 | |
| 029 | 1 | |a DEBSZ |b 430370628 | |
| 029 | 1 | |a GBVCP |b 1020642378 | |
| 029 | 1 | |a NZ1 |b 12041405 | |
| 029 | 1 | |a UKMGB |b 017989991 | |
| 035 | |a (OCoLC)67838100 |z (OCoLC)150360302 |z (OCoLC)1057979135 | ||
| 037 | |a 31809781841509563 |b Ingram Content Group | ||
| 037 | |a 22573/ctv36wj9ch |b JSTOR | ||
| 050 | 4 | |a QA76.62 |b .T74 2006eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1/14 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Trends in functional programming. |n Vol. 5 / |c edited by Hans-Wolfgang Loidl. |
| 260 | |a Bristol, UK ; |a Portland, OR : |b Intellect, |c 2006. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 500 | |a Title from title screen (viewed Apr 28, 2006). | ||
| 500 | |a Selection of papers presented at the symposium held at Ludwig-Maximilians University Munich in Nov. 2004. | ||
| 504 | |a Includes bibliographical references. | ||
| 520 | 8 | |a Annotation |b 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, graphics, and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and language support for concurrency and distribution. The Trends in Functional Programming series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. | |
| 505 | 0 | |a Cover -- Preliminary Pages -- Contents -- 1 Proof Support for General Type Classes -- 1.1 Introduction -- 1.2 Sparkle -- 1.3 Preliminaries -- 1.4 Structural induction -- 1.5 Induction on instances -- 1.6 Multiple class constraints -- 1.7 Implementation -- 1.8 Related and future work -- 1.9 Conclusion -- References -- 2 Generic Proofs for Combinator-based Generic Programs -- 2.1 Introduction -- 2.2 'Boilerplate' combinators as generic functions -- 2.3 Generic proofs for 'boilerplate' combinators -- 2.4 A proof of the fusion law for gmapT -- 2.5 A theorem about occurs -- 2.6 A fusion law for everywhere -- 2.7 Conclusions and further work -- 2.8 Proof of lemma 2.1 -- 2.9 Proof of lemma 2.2 -- 2.10 Proof of lemma 2.3 -- 2.11 Proof of theorem 2.5 (continued) -- References -- 3 Building certified components within focal -- 3.1 Introduction -- 3.2 FOCAL requirements and design principles -- 3.3 Overview of FOCAL -- 3.4 A complete example -- 3.5 Compiling -- 3.6 Applications -- 3.7 Related work -- 3.8 Conclusion and future work -- References -- 4 Calculating an Exceptional Machine -- 4.1 Introduction -- 4.2 Abstract machines -- 4.3 Arithmetic expressions -- 4.4 Adding exceptions -- 4.5 Further work -- References -- 5 Generalizing the augment Combinator -- 5.1 Introduction -- 5.2 Semantics of fold/build -- 5.3 The augment of free monads -- 5.4 A generalized augment combinator -- 5.5 Conclusion and future work -- References -- 6 Alice Through the Looking Glass -- 6.1 Introduction -- 6.2 Futures -- 6.3 Higher-order modules -- 6.4 Packages -- 6.5 Components -- 6.6 Decomposing components -- 6.7 Distribution -- 6.8 Implementation -- 6.9 Related work -- 6.10 Outlook -- References -- 7 Experiments with GHC's Optimiser -- 7.1 Introduction -- 7.2 Contributions of the paper -- 7.3 The setup -- 7.4 The method -- 7.5 Evaluation -- 7.6 Related work -- 7.7 Conclusions -- References -- 8 Disjoint Forms in Graphical User Interfaces -- 8.1 Introduction -- 8.2 FunctionalForms summary -- 8.3 Combinators for disjoint forms -- 8.4 Implementation -- 8.5 Safety -- 8.6 Related work -- 8.7 Conclusions and future work -- References -- 9 A Graphic Functional-Dataflow Language -- 9.1 Introduction -- 9.2 Outline of the NiMo language -- 9.3 The NiMo environment -- 9.4 Current state and future work -- 9.5 Concluding remarks -- References. | |
| 546 | |a English. | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Functional programming (Computer science) |v Congresses. | |
| 650 | 6 | |a Programmation fonctionnelle |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Loidl, Hans-Wolfgang. | |
| 711 | 2 | |a International Symposium on Trends in Functional Programming |n (5th : |d 2004 : |c Universität München) | |
| 758 | |i has work: |a Volume 5 Trends in functional programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFFrhDcvYwtKMchXghqcdP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=282971 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 155675 | ||
| 938 | |a YBP Library Services |b YANK |n 2422648 | ||
| 994 | |a 92 |b IZTAP | ||