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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 17

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 11

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 ◽

Cited By ~ 18

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 ◽

Cited By ~ 21

Author(s):

Cédric Fournet ◽

Andrew D. Gordon

Download Full-text

Stochastic lambda calculus and monads of probability distributions

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

10.1145/503272.503288 ◽

2002 ◽

Cited By ~ 74

Author(s):

Norman Ramsey ◽

Avi Pfeffer

Keyword(s):

Probability Distributions ◽

Lambda Calculus

Download Full-text

Bisimulation congruences in safe ambients

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

10.1145/503272.503280 ◽

2002 ◽

Cited By ~ 35

Author(s):

Massimo Merro ◽

Matthew Hennessy

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 ◽

Cited By ~ 49

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 ◽

Cited By ~ 261

Author(s):

Glenn Ammons ◽

Rastislav Bodík ◽

James R. Larus

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Adaptive functional programming

From POPL to the classroom and back

Functional logic overloading

The first-order theory of subtyping constraints

The strength of non-size increasing computation

Stack inspection

Stochastic lambda calculus and monads of probability distributions

Bisimulation congruences in safe ambients

Systematic design of program transformation frameworks by abstract interpretation

Mining specifications

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