POPL 1992 | Sciweavers

41

POPL
1992
ACM

103views Programming Languages» more POPL 1992»

14 years 7 months ago

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...

Martin C. Rinard, Monica S. Lam

claim paper

Read More »

49

click to vote

POPL
1992
ACM

136views Programming Languages» more POPL 1992»

A Compilation Method for ML-Style Polymorphic Record Calculi

14 years 7 months ago

Download www.pllab.riec.tohoku.ac.jp

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...

Atsushi Ohori

claim paper

Read More »

42

click to vote

POPL
1992
ACM

89views Programming Languages» more POPL 1992»

Unboxed Objects and Polymorphic Typing

14 years 7 months ago

Download gallium.inria.fr

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...

Xavier Leroy

claim paper

Read More »

66

click to vote

POPL
1992
ACM

194views Programming Languages» more POPL 1992»

Abstract Semantics for a Higher-Order Functional Language with Logic Variables

14 years 7 months ago

Download iss.ices.utexas.edu

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...

Radha Jagadeesan, Keshav Pingali

claim paper

Read More »

36

click to vote

POPL
1992
ACM

118views Programming Languages» more POPL 1992»

Generalized Dominators and Post-Dominators

14 years 7 months ago