Sciweavers

Top Ranked Papers of 1991 on Programming Languages | POPL

All ConferencesPOPLASPLOSPLDIECOOPICALPCOMPASSCTCSFPCAIFIP ... Explore POPL 1991 »

229

click to vote

POPL
1991
ACM

156views Programming Languages» more POPL 1991»

Subtyping Recursive Types

15 years 11 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 »

189

click to vote

POPL
1991
ACM

130views Programming Languages» more POPL 1991»

Polymorphic Type Inference and Assignment

15 years 11 months ago

Download gallium.inria.fr

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 »

173

click to vote

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

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

15 years 11 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

169

click to vote

POPL
1991
ACM

128views Programming Languages» more POPL 1991»

Coordinating First-Order Multiparty Interactions

15 years 11 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 »

158

click to vote

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 11 months ago

Download iss.ices.utexas.edu

Keshav Pingali, Micah Beck, Richard Johnson, Mayan...

claim paper