ICFP
2002
ACM
14 years 4 months ago
2002
ACM
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
We have added a Java virtual machine (henceforth JVM) bytecode generator to the optimizing Scheme-to-C compiler Bigloo. We named this new compiler BiglooJVM. We have used this new...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM