|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910339042203321 |
|
|
Titolo |
Trends in functional programming . Volume 5 / / edited by Stephen Gilmore |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol, : Intellect, 2006 |
|
|
|
|
|
|
|
ISBN |
|
1-280-47712-1 |
9786610477128 |
1-84150-956-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (156 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Functional programming (Computer science) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Proof Support for General Type Classes; Generic Proofs for Combinator-based Generic Programs; Building certified components within focal; Calculating an Exceptional Machine; Generalizing the augment Combinator; Alice Through the Looking Glass; Experiments with GHC's Optimiser; Disjoint Forms in Graphical User Interfaces; A Graphic Functional-Dataflow Language |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|