Trends in Functional Programming Volume 10
1st Edition
Published on 10. May 2014
189 pages
978-1-84150-442-1 (ISBN)
Description
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 Komarno, 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, Eoetvoes Lorand University, Budapest and the Selye Janos University, Komarno.
More details
Series
Edition
1. Auflage
Language
English
Place of publication
Bristol
United Kingdom
Publishing group
Intellect
Target group
Professional and scholarly
ISBN-13
978-1-84150-442-1 (9781841504421)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Zoltan Horvath | Viktoria Zsok
Trends in Functional Programming Volume 10
Book
10/2013
Intellect Books
€70.70
Shipment within 3-4 weeks
Persons
Zoltan Horvath is professor at and head of the Department of Programming Languages and Compilers and Vice Dean of the Faculty of Informatics at Eoetvoes Lorand University in Budapest, Hungary.
Viktoria Zsok is a lecturer at Eoetvoes Lorand University, Budapest, Hungary.
Viktoria Zsok is a lecturer at Eoetvoes Lorand University, Budapest, Hungary.
Content
- 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
