172
click to vote
POPL
15 years 4 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...
110
click to vote
POPL
15 years 4 months ago
1995 ACM 
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
106
Voted
POPL
15 years 4 months ago
1995 ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
101
click to vote
POPL
15 years 4 months ago
1995 ACM 
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
|
Programming Languages