Sciweavers

9595 search results - page 165 / 1919
» Functional programming in C
Sort
View
APLAS
2010
ACM
15 years 4 months ago
Type Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
Ugo Dal Lago, Ulrich Schöpp
ICFP
2009
ACM
16 years 5 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
138
Voted
FCCM
2000
IEEE
122views VLSI» more  FCCM 2000»
15 years 9 months ago
Evaluating Hardware Compilation Techniques
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
Markus Weinhardt, Wayne Luk
PARCO
2007
15 years 6 months ago
Visualizing Parallel Functional Program Runs: Case Studies with the Eden Trace Viewer
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...
Jost Berthold, Rita Loogen
151
Voted
AAIP
2009
15 years 2 months ago
Synthesis of Functions Using Generic Programming
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
Pieter W. M. Koopman, Rinus Plasmeijer