Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Trends in Functional Programming 10 [[electronic resource]]
| Trends in Functional Programming 10 [[electronic resource]] |
| Autore | Horvath Zoltan |
| Pubbl/distr/stampa | Bristol, : Intellect, 2010 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 005.114 |
| Altri autori (Persone) | ZsokViktoria |
| Collana | Trends in Functional Programming Series |
| Soggetto topico |
Functional programming (Computer science) -- Congresses
Engineering & Applied Sciences Computer Science |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-60999-1
9786613922441 1-84150-442-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910459402903321 |
Horvath Zoltan
|
||
| Bristol, : Intellect, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming 10 [[electronic resource]]
| Trends in Functional Programming 10 [[electronic resource]] |
| Autore | Horvath Zoltan |
| Pubbl/distr/stampa | Bristol, : Intellect, 2010 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 005.114 |
| Altri autori (Persone) | ZsokViktoria |
| Collana | Trends in Functional Programming Series |
| Soggetto topico |
Functional programming (Computer science) -- Congresses
Engineering & Applied Sciences Computer Science |
| ISBN |
1-283-60999-1
9786613922441 1-84150-442-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910785235003321 |
|
Horvath Zoltan
|
||
| Bristol, : Intellect, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming 10
| Trends in Functional Programming 10 |
| Autore | Horvath Zoltan |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bristol, : Intellect, 2010 |
| Descrizione fisica | 1 online resource (189 p.) |
| Disciplina | 005.114 |
| Altri autori (Persone) | ZsokViktoria |
| Collana | Trends in Functional Programming Series |
| Soggetto topico |
Functional programming (Computer science) -- Congresses
Engineering & Applied Sciences Computer Science |
| ISBN |
1-283-60999-1
9786613922441 1-84150-442-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910821065903321 |
|
Horvath Zoltan
|
||
| Bristol, : Intellect, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||