Sciweavers

10622 search results - page 102 / 2125
» Python Programming Language
Sort
View
POPL
1994
ACM
15 years 8 months ago
The Typed Polymorphic Label-Selective lambda-Calculus
Jacques Garrigue, Hassan Aït-Kaci
125
Voted
POPL
1994
ACM
15 years 8 months ago
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper, Mark Lillibridge
131
Voted
POPL
1994
ACM
15 years 8 months ago
Lazy Array Data-Flow Dependence Analysis
Vadim Maslov
90
Voted
PPCP
1994
15 years 8 months ago
QUAD-CLP(R): Adding the Power of Quadratic Constraints
Gilles Pesant, Michel Boyer