Programming Languages

30

POPL
1991
ACM

130views Programming Languages» more POPL 1991»

Polymorphic Type Inference and Assignment

14 years 3 months ago

We present a new approach to the polymorphic typing of data accepting in-place modiﬁcation in ML-like languages. This approach is based on restrictions over type generalization,...

Xavier Leroy, Pierre Weis

claim paper

Read More »

37

click to vote

POPL
1991
ACM

128views Programming Languages» more POPL 1991»

Coordinating First-Order Multiparty Interactions

14 years 3 months ago

Download www.cs.sunysb.edu

-order multiparty interaction is an abstraction mechanism that deﬁnes communication among a set of formal process roles. Actual processes participate in a ﬁrst-order interactio...

Yuh-Jzer Joung, Scott A. Smolka

claim paper

Read More »

37

click to vote

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

The Complexity of Type Inference for Higher-Order Typed Lambda Calculi

14 years 3 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

44

click to vote

POPL
1991
ACM

156views Programming Languages» more POPL 1991»

Subtyping Recursive Types

14 years 3 months ago

Download reference.kfupm.edu.sa

We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...

Roberto M. Amadio, Luca Cardelli

claim paper

Read More »

21

click to vote

PLDI
1991
ACM

100views Programming Languages» more PLDI 1991»

A Data Locality Optimizing Algorithm

14 years 3 months ago

Download suif.stanford.edu

Michael E. Wolf, Monica S. Lam

claim paper

Read More »

31

click to vote

PLDI
1991
ACM

83views Programming Languages» more PLDI 1991»

Predicting Program Behavior Using Real or Estimated Profiles

14 years 3 months ago

Download www.hpl.hp.com

David W. Wall

claim paper

Read More »

47

click to vote

PLDI
1991
ACM

220views Programming Languages» more PLDI 1991»

Advice to Authors of Extended Abstracts

14 years 3 months ago

Download www.jdl.ac.cn

o Authors of Extended Abstracts William Pugh Dept. of Computer Science and Institute for Advanced Computer Studies Univ. of Maryland, College Park March 16, 1993 This article stems...

William Pugh

claim paper

Read More »

23

click to vote

PLDI
1991
ACM

91views Programming Languages» more PLDI 1991»

Procedure Merging with Instruction Caches

14 years 3 months ago

Download www.hpl.hp.com

Scott McFarling

claim paper