276
click to vote
POPL
16 years 4 days 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...
233
click to vote
POPL
16 years 4 days 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...
220
click to vote
POPL
16 years 4 days ago
1994 ACM 
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
209
click to vote
POPL
16 years 4 days 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...
191
click to vote
POPL
16 years 4 days 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