156
Voted
POPL
15 years 4 months ago
1994 ACM 
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
117
click to vote
POPL
15 years 4 months ago
1994 ACM 
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
106
Voted
POPL
15 years 4 months ago
1994 ACM 
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
105
Voted
POPL
15 years 4 months ago
1994 ACM 
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
96
Voted
POPL
15 years 4 months ago
1994 ACM 
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
|
Programming Languages