Trends in Functional Programming 10.

Format:

Book

Author/Creator:

Horvath, Zoltan.

Contributor:

Zsók, Viktória.

Series:

Trends in Functional Programming Series

Trends in Functional Programming Series ; v.v. 10

Language:

English

Subjects (All):

Functional programming (Computer science)--Congresses.

Local Subjects:

Functional programming (Computer science)--Congresses.

Physical Description:

1 online resource (189 p.)

Edition:

1st ed.

Place of Publication:

Bristol : Intellect, 2010.

Language Note:

English

Summary:

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

Contents:

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

Notes:

Description based upon print version of record.

ISBN:

1-283-60999-1

9786613922441

1-84150-442-4

OCLC:

704257980