Sciweavers

10 search results - page 1 / 2
» lfp 1990
Sort
View
LFP
1990
98views more  LFP 1990»
13 years 5 months ago
Abstracting Control
Olivier Danvy, Andrzej Filinski
LFP
1990
56views more  LFP 1990»
13 years 5 months ago
Efficient Method Dispatch in PCL
Gregor Kiczales, Luis Rodriguez
LFP
1990
106views more  LFP 1990»
13 years 5 months ago
Compiling Pattern Matching by Term Decomposition
Laurence Puel, Ascánder Suárez
LFP
1990
96views more  LFP 1990»
13 years 5 months ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
LFP
1990
73views more  LFP 1990»
13 years 5 months ago
Computing with Coercions
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple
Val Tannen, Carl A. Gunter, Andre Scedrov