Sciweavers

10871 search results - page 104 / 2175
» A stable programming language
Sort
View
101
Voted
POPL
1994
ACM
15 years 7 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
118
Voted
POPL
1994
ACM
15 years 7 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
124
Voted
POPL
1994
ACM
15 years 7 months ago
Lazy Array Data-Flow Dependence Analysis
Vadim Maslov
116
Voted
POPL
1994
ACM
15 years 7 months ago
Building Interpreters by Composing Monads
Guy L. Steele Jr.