Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. | 0 | 0.34 | 2012 |
Granularity-Aware Work-Stealing for Computationally-Uniform Grids | 9 | 0.60 | 2010 |
Lightweight Invariants with Full Dependent Types. | 0 | 0.34 | 2008 |
SymGrid: A Framework for Symbolic Computations on the Grid | 6 | 0.47 | 2007 |
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. | 2 | 0.41 | 2007 |
Towards Formally Verifiable WCET Analysis for a Functional Programming Language | 4 | 0.41 | 2006 |
The Embounded project (project start paper) | 3 | 0.52 | 2005 |
Automatic Skeletons in Template Haskell | 15 | 0.81 | 2003 |
FSM-Hume is finite state | 1 | 0.36 | 2003 |
Is it time for real-time functional programming? | 7 | 0.54 | 2003 |
Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 | 8 | 0.79 | 2002 |
Parallel Programming: Models, Methods and Programming Languages | 0 | 0.34 | 2002 |
HaskSkel: Algorithmic Skeletons in Haskell | 7 | 0.82 | 1999 |
Naira: A Parallel² Haskell Compiler | 3 | 0.50 | 1997 |
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994 | 0 | 0.34 | 1995 |
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer | 3 | 0.44 | 1994 |
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993 | 0 | 0.34 | 1994 |
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language | 206 | 24.88 | 1992 |
A Parallel Functional Database on GRIP | 2 | 0.41 | 1991 |