POPL
1992
ACM
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 months ago
1992
ACM
POPL
1992
ACM
13 years 12 months ago
1992
ACM
POPL
1992
ACM
13 years 12 months ago
1992
ACM
PLDI
1992
ACM
13 years 12 months ago
1992
ACM
PLDI
1992
ACM
13 years 12 months ago
1992
ACM
PLDI
1992
ACM
13 years 12 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...