Sciweavers

10 search results - page 1 / 2
» lfp 1990
Sort
View
61
Voted
LFP
1990
98views more  LFP 1990»
14 years 11 months ago
Abstracting Control
Olivier Danvy, Andrzej Filinski
64
Voted
LFP
1990
56views more  LFP 1990»
14 years 11 months ago
Efficient Method Dispatch in PCL
Gregor Kiczales, Luis Rodriguez
68
Voted
LFP
1990
106views more  LFP 1990»
14 years 11 months ago
Compiling Pattern Matching by Term Decomposition
Laurence Puel, Ascánder Suárez
86
Voted
LFP
1990
96views more  LFP 1990»
14 years 11 months ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
LFP
1990
73views more  LFP 1990»
14 years 11 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