172
click to vote
POPL
15 years 3 months ago
1995 ACM 
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
171
click to vote
FPCA
15 years 4 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
164
click to vote
ICALP
15 years 4 months ago
1995 Springer
The problem to determine whether a given k-colored graph is a subgraph of a properly colored interval graph has an application in DNA physical mapping. In this paper, we study the...
164
click to vote
PLDI
15 years 3 months ago
1995 ACM 
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
152
Voted
OOGRAPHICS
15 years 3 months ago
1995
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
|
Programming Languages