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.