Sciweavers

27119 search results - page 119 / 5424
» Languages
Sort
View
100
Voted
POPL
1994
ACM
15 years 7 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
123
Voted
POPL
1994
ACM
15 years 7 months ago
Lazy Array Data-Flow Dependence Analysis
Vadim Maslov