Sciweavers

16 search results - page 1 / 4
» popl 1994
Sort
View
84
Voted
POPL
1994
ACM
15 years 4 months ago
Lazy Array Data-Flow Dependence Analysis
Vadim Maslov
91
Voted
POPL
1994
ACM
15 years 4 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
91
Voted
POPL
1994
ACM
15 years 4 months ago
Building Interpreters by Composing Monads
Guy L. Steele Jr.
80
Voted
POPL
1994
ACM
15 years 4 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
73
Voted
POPL
1994
ACM
15 years 3 months ago
Soft Typing with Conditional Types
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman