Sciweavers

8 search results - page 1 / 2

» popl 1991

11

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

13 years 8 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

13

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

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

13 years 8 months ago

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

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

11

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

13 years 8 months ago

Program Optimization and Parallelization Using Idioms

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

11

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

13 years 8 months ago

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

Download iss.ices.utexas.edu

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

claim paper

Read More »

15

POPL
1991
ACM

130views Programming Languages» more POPL 1991»

Polymorphic Type Inference and Assignment

13 years 8 months ago

Polymorphic Type Inference and Assignment

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 »

« Prev « First page 1 / 2 Last » Next »