POPL
1992
ACM
14 years 3 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
POPL
1992
ACM
14 years 3 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
POPL
1992
ACM
14 years 3 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
POPL
1992
ACM
14 years 3 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
POPL
1992
ACM
14 years 3 months ago
1992
ACM
POPL
1992
ACM
14 years 3 months ago
1992
ACM
POPL
1992
ACM
14 years 3 months ago
1992
ACM
PLDI
1992
ACM
14 years 3 months ago
1992
ACM
PLDI
1992
ACM
14 years 3 months ago
1992
ACM
PLDI
1992
ACM
14 years 3 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...