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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897915607

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying the correctness of binding-time analysis

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

10.1145/158511.158614 ◽

1993 ◽

Cited By ~ 7

Author(s):

Mitchell Wand

Keyword(s):

Time Analysis ◽

Binding Time ◽

Binding Time Analysis

Download Full-text

Type checking type classes

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

10.1145/158511.158698 ◽

1993 ◽

Cited By ~ 18

Author(s):

Tobias Nipkow ◽

Christian Prehofer

Keyword(s):

Type Checking ◽

Type Classes

Download Full-text

Extending record typing to type parametric modules with sharing

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

10.1145/158511.158704 ◽

1993 ◽

Cited By ~ 5

Author(s):

Maria Virginia Aponte

Download Full-text

Safe type checking in a statically-typed object-oriented programming language

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

10.1145/158511.158650 ◽

1993 ◽

Cited By ~ 33

Author(s):

Kim B. Bruce

Keyword(s):

Programming Language ◽

Object Oriented ◽

Object Oriented Programming ◽

Type Checking ◽

Oriented Programming Language

Download Full-text

Efficient recursive subtyping

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

10.1145/158511.158700 ◽

1993 ◽

Cited By ~ 21

Author(s):

Dexter Kozen ◽

Jens Palsberg ◽

Michael I. Schwartzbach

Download Full-text

Quasi-static scoping

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

10.1145/158511.158706 ◽

1993 ◽

Cited By ~ 8

Author(s):

Shinn-Der Lee ◽

Daniel P. Friedman

Download Full-text

Layer sharing

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

10.1145/158511.158687 ◽

1993 ◽

Author(s):

E. Villemonte de la Clergerie

Download Full-text

Communicating reactive processes

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

10.1145/158511.158526 ◽

1993 ◽

Cited By ~ 66

Author(s):

G. Berry ◽

S. Ramesh ◽

R. K. Shyamasundar

Keyword(s):

Reactive Processes

Download Full-text

Incremental program testing using program dependence graphs

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

10.1145/158511.158694 ◽

1993 ◽

Cited By ~ 106

Author(s):

Samuel Bates ◽

Susan Horwitz

Keyword(s):

Program Testing ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

An introduction to logical relations and parametric polymorphism (abstract)

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

10.1145/158511.158621 ◽

1993 ◽

Author(s):

John C. Reynolds

Keyword(s):

Parametric Polymorphism

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Specifying the correctness of binding-time analysis

Type checking type classes

Extending record typing to type parametric modules with sharing

Safe type checking in a statically-typed object-oriented programming language

Efficient recursive subtyping

Quasi-static scoping

Layer sharing

Communicating reactive processes

Incremental program testing using program dependence graphs

An introduction to logical relations and parametric polymorphism (abstract)

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