ICFP
1999
ACM
14 years 4 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
ICFP
1999
ACM
14 years 4 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...
ECOOP
2000
Springer
14 years 4 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...