181
click to vote
POPL
15 years 7 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...
140
click to vote
POPL
15 years 7 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...
127
click to vote
POPL
15 years 7 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...
126
click to vote
POPL
15 years 7 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...
|
Programming Languages