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

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

21

(FIVE YEARS 0)

Published By ACM Press

1581134509

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive functional programming

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

10.1145/503272.503296 ◽

2002 ◽

Author(s):

Umut A. Acar ◽

Guy E. Blelloch ◽

Robert Harper

Keyword(s):

Functional Programming

Download Full-text

From POPL to the classroom and back

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

10.1145/503272.503285 ◽

2002 ◽

Author(s):

Matthias Felleisen

Download Full-text

Functional logic overloading

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

10.1145/503272.503294 ◽

2002 ◽

Author(s):

Matthias Neubauer ◽

Peter Thiemann ◽

Martin Gasbichler ◽

Michael Sperber

Keyword(s):

Functional Logic

Download Full-text

The first-order theory of subtyping constraints

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

10.1145/503272.503292 ◽

2002 ◽

Author(s):

Zhendong Su ◽

Alexander Aiken ◽

Joachim Niehren ◽

Tim Priesnitz ◽

Ralf Treinen

Keyword(s):

Order Theory ◽

First Order ◽

First Order Theory

Download Full-text

The strength of non-size increasing computation

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

10.1145/503272.503297 ◽

2002 ◽

Author(s):

Martin Hofmann

Download Full-text

Stack inspection

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

10.1145/503272.503301 ◽

2002 ◽

Author(s):

Cédric Fournet ◽

Andrew D. Gordon

Download Full-text

Systematic design of program transformation frameworks by abstract interpretation

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

10.1145/503272.503290 ◽

2002 ◽

Author(s):

Patrick Cousot ◽

Radhia Cousot

Keyword(s):

Program Transformation ◽

Abstract Interpretation ◽

Systematic Design

Download Full-text

Mining specifications

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

10.1145/503272.503275 ◽

2002 ◽

Author(s):

Glenn Ammons ◽

Rastislav Bodík ◽

James R. Larus

Download Full-text

Analyzing security protocols with secrecy types and logic programs

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

10.1145/503272.503277 ◽

2002 ◽

Author(s):

Martín Abadi ◽

Bruno Blanchet

Keyword(s):

Security Protocols ◽

Download Full-text

A type system for certified binaries

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

10.1145/503272.503293 ◽

2002 ◽

Author(s):

Zhong Shao ◽

Bratin Saha ◽

Valery Trifonov ◽

Nikolaos Papaspyrou

Keyword(s):

Download Full-text