Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897911253

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalized fair termination

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800515 ◽

1984 ◽

Cited By ~ 9

Author(s):

Nissim Francez ◽

Dexter Kozen

Download Full-text

Coercion and type inference

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800529 ◽

1984 ◽

Cited By ~ 84

Author(s):

John C. Mitchell

Keyword(s):

Type Inference

Download Full-text

A good Hoare axiom system for an ALGOL-like language

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800538 ◽

1984 ◽

Cited By ~ 8

Author(s):

Joseph Y. Halpern

Keyword(s):

Axiom System

Download Full-text

A types-as-sets semantics for milner-style polymorphism

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800527 ◽

1984 ◽

Cited By ~ 4

Author(s):

Mitchell Wand

Download Full-text

A combinator-based compiler for a functional language

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800523 ◽

1984 ◽

Cited By ~ 11

Author(s):

Paul Hudak ◽

David Kranz

Keyword(s):

Functional Language

Download Full-text

Systems programming in concurrent prolog

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800520 ◽

1984 ◽

Cited By ~ 20

Author(s):

Ehud Shapiro

Keyword(s):

Concurrent Prolog ◽

Systems Programming

Download Full-text

Constraining-unification and the programming language unicorn

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800521 ◽

1984 ◽

Cited By ~ 1

Author(s):

Robert G. Bandes

Keyword(s):

Programming Language

Download Full-text

The global storage needs of a subcomputation

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800526 ◽

1984 ◽

Cited By ~ 4

Author(s):

Jean-Claude Raoult ◽

Ravi Sethi

Download Full-text

A hierarchical basis for reordering transformations

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800539 ◽

1984 ◽

Cited By ~ 20

Author(s):

Joe Warren

Keyword(s):

Hierarchical Basis

Download Full-text

Efficient applicative data types

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 ◽

10.1145/800017.800517 ◽

1984 ◽

Cited By ~ 27

Author(s):

Eugene W. Myers

Keyword(s):

Data Types

Download Full-text

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Generalized fair termination

Coercion and type inference

A good Hoare axiom system for an ALGOL-like language

A types-as-sets semantics for milner-style polymorphism

A combinator-based compiler for a functional language

Systems programming in concurrent prolog

Constraining-unification and the programming language unicorn

The global storage needs of a subcomputation

A hierarchical basis for reordering transformations

Efficient applicative data types

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84
Latest Publications