|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910459402903321 |
|
|
Autore |
Horvath Zoltan |
|
|
Titolo |
Trends in Functional Programming 10 [[electronic resource]] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol, : Intellect, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-283-60999-1 |
9786613922441 |
1-84150-442-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
Trends in Functional Programming Series ; ; v.v. 10 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Functional programming (Computer science) -- Congresses |
Engineering & Applied Sciences |
Computer Science |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Preliminary Pages; Contents; Graph-based Communication in Eden; Compiling Concurrency Correctly: Cutting Out the Middle Man; Towards compiling SAC to CUDA; Low Pain vs No Pain Multi-core Haskells; An Operational Semantics for Distributed Lazy Evaluation; On Graph Rewriting, Reduction and Evaluation; A Reflection-based Proof Tactic for Lattices in Coq; Generic Programming for Domain Reasoners; Haskell Module Tools for Liberating Type Class Design; Signals, Not Generators!; Braincurry: A Domain-Specific Language for Integrative Neuroscience; Author Index; Back Cover |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Volume 10 in the Trends in Functional Programming (TFP) series presents some of the latest research results in the implementation of functional programming languages and the practice of functional programming. It contains a peer-reviewed selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Programming held in Komárno, Slovakia. TFP 2009 was co-located with the Third Central European Functional Programming School (CEFP 2009) and organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest a |
|
|
|
|
|
|
|