Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structuring depth-first search algorithms in Haskell

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199530 ◽

1995 ◽

Cited By ~ 21

Author(s):

David J. King ◽

John Launchbury

Keyword(s):

Search Algorithms ◽

Depth First Search

Download Full-text

Positive subtyping

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199482 ◽

1995 ◽

Cited By ~ 7

Author(s):

Martin Hofmann ◽

Benjamin Pierce

Download Full-text

Monad transformers and modular interpreters

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199528 ◽

1995 ◽

Cited By ~ 193

Author(s):

Sheng Liang ◽

Paul Hudak ◽

Mark Jones

Download Full-text

Obtaining sequential efficiency for concurrent object-oriented languages

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199524 ◽

1995 ◽

Cited By ~ 17

Author(s):

John Plevyak ◽

Xingbin Zhang ◽

Andrew A. Chien

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

Optimizing an ANSI C interpreter with superoperators

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199526 ◽

1995 ◽

Cited By ~ 39

Author(s):

Todd A. Proebsting

Download Full-text

The geometry of interaction machine

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199483 ◽

1995 ◽

Cited By ~ 46

Author(s):

Ian Mackie

Download Full-text

A linear time algorithm for placing φ-nodes

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199464 ◽

1995 ◽

Cited By ~ 26

Author(s):

Vugranam C. Sreedhar ◽

Guang R. Gao

Keyword(s):

Linear Time ◽

Time Algorithm ◽

Linear Time Algorithm

Download Full-text

A call-by-need lambda calculus

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199507 ◽

1995 ◽

Cited By ~ 83

Author(s):

Zena M. Ariola ◽

John Maraist ◽

Martin Odersky ◽

Matthias Felleisen ◽

Philip Wadler

Keyword(s):

Lambda Calculus

Download Full-text

Isolating side effects in sequential languages

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199450 ◽

1995 ◽

Cited By ~ 5

Author(s):

Jon G. Riecke ◽

Ramesh Viswanathan

Keyword(s):

Side Effects

Download Full-text

An extended form of must alias analysis for dynamic allocation

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199466 ◽

1995 ◽

Cited By ~ 9

Author(s):

Rita Z. Altucher ◽

William Landi

Keyword(s):

Dynamic Allocation ◽

Extended Form ◽

Alias Analysis

Download Full-text

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Structuring depth-first search algorithms in Haskell

Positive subtyping

Monad transformers and modular interpreters

Obtaining sequential efficiency for concurrent object-oriented languages

Optimizing an ANSI C interpreter with superoperators

The geometry of interaction machine

A linear time algorithm for placing φ-nodes

A call-by-need lambda calculus

Isolating side effects in sequential languages

An extended form of must alias analysis for dynamic allocation

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95
Latest Publications