Search Sciweavers | Sciweavers

8 search results - page 1 / 2

» popl 1991

128

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 10 months ago

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

151

Voted

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

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

15 years 10 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

125

Voted

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

15 years 10 months ago

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

135

Voted

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 10 months ago

Download iss.ices.utexas.edu

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

claim paper

Read More »

157

Voted

POPL
1991
ACM

130views Programming Languages» more POPL 1991»

Polymorphic Type Inference and Assignment

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

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers