Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595936899

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Clowns to the left of me, jokers to the right (pearl)

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328474 ◽

2008 ◽

Cited By ~ 5

Author(s):

Conor McBride

Keyword(s):

The Right

Download Full-text

The intensional content of Rice's theorem

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328455 ◽

2008 ◽

Cited By ~ 12

Author(s):

Andrea Asperti

Download Full-text

Much ado about two (pearl)

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328445 ◽

2008 ◽

Cited By ~ 6

Author(s):

Janis Voigtländer

Download Full-text

Back to the future

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328461 ◽

2008 ◽

Cited By ~ 61

Author(s):

Shuvendu Lahiri ◽

Shaz Qadeer

Keyword(s):

The Future

Download Full-text

A logical account of pspace

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328456 ◽

2008 ◽

Cited By ~ 12

Author(s):

Marco Gaboardi ◽

Jean-Yves Marion ◽

Simona Ronchi Della Rocca

Download Full-text

Imperative self-adjusting computation

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328476 ◽

2008 ◽

Cited By ~ 35

Author(s):

Umut A. Acar ◽

Amal Ahmed ◽

Matthias Blume

Download Full-text

Enhancing modular OO verification with separation logic

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328452 ◽

2008 ◽

Cited By ~ 27

Author(s):

Wei-Ngan Chin ◽

Cristina David ◽

Huu Hai Nguyen ◽

Shengchao Qin

Keyword(s):

Separation Logic

Download Full-text

The design and implementation of typed scheme

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328486 ◽

2008 ◽

Cited By ~ 123

Author(s):

Sam Tobin-Hochstadt ◽

Matthias Felleisen

Keyword(s):

Design And Implementation

Download Full-text

An approach to call-by-name delimited continuations

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328484 ◽

2008 ◽

Cited By ~ 10

Author(s):

Hugo Herbelin ◽

Silvia Ghilezan

Keyword(s):

Delimited Continuations

Download Full-text

Cryptographically sound implementations for typed information-flow security

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 ◽

10.1145/1328438.1328478 ◽

2008 ◽

Cited By ~ 24

Author(s):

Cédric Fournet ◽

Tamara Rezk

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Clowns to the left of me, jokers to the right (pearl)

The intensional content of Rice's theorem

Much ado about two (pearl)

Back to the future

A logical account of pspace

Imperative self-adjusting computation

Enhancing modular OO verification with separation logic

The design and implementation of typed scheme

An approach to call-by-name delimited continuations

Cryptographically sound implementations for typed information-flow security

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08
Latest Publications