


default search action
10th TFP 2009: Komárno, Slovakia
- Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman:

Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009. Trends in Functional Programming 10, Intellect 2009, ISBN 978-1-84150-405-6 - Thomas Horstmeyer, Rita Loogen:

Graph-based Communication in Eden. Trends in Functional Programming 2009: 1-16 - Liyang Hu, Graham Hutton:

Compiling Concurrency Correctly: Cutting out the Middle Man. Trends in Functional Programming 2009: 17-32 - Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz:

Towards Compiling SAC to CUDA. Trends in Functional Programming 2009: 33-48 - Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold:

Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming 2009: 49-64 - Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:

An Operational Semantics for Distributed Lazy Evaluation. Trends in Functional Programming 2009: 65-80 - Ian Zerny:

On Graph Rewriting, Reduction and Evaluation. Trends in Functional Programming 2009: 81-96 - Daniel W. H. James, Ralf Hinze:

A Reflection-based Proof Tactic for Lattices in Coq. Trends in Functional Programming 2009: 97-112 - Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:

Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128 - Wolfram Kahl:

Haskell Module Tools for Liberating Type Class Design. Trends in Functional Programming 2009: 129-144 - Wolfgang Jeltsch:

Signals, Not Generators! Trends in Functional Programming 2009: 145-160 - Tom Nielsen, Tom Matheson, Henrik Nilsson:

Braincurry: A Domain-specific Language for Integrative Neuroscience. Trends in Functional Programming 2009: 161-176

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














