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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595935754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular type classes

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

10.1145/1190216.1190229 ◽

2007 ◽

Cited By ~ 16

Author(s):

Derek Dreyer ◽

Robert Harper ◽

Manuel M. T. Chakravarty ◽

Gabriele Keller

Keyword(s):

Type Classes

Download Full-text

Specialization of CML message-passing primitives

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

10.1145/1190216.1190264 ◽

2007 ◽

Cited By ~ 10

Author(s):

John Reppy ◽

Yingqi Xiao

Keyword(s):

Message Passing

Download Full-text

Types, bytes, and separation logic

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

10.1145/1190216.1190234 ◽

2007 ◽

Cited By ~ 69

Author(s):

Harvey Tuch ◽

Gerwin Klein ◽

Michael Norrish

Keyword(s):

Separation Logic

Download Full-text

Perl 6

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

10.1145/1190216.1190218 ◽

2007 ◽

Cited By ~ 5

Author(s):

Audrey Tang

Download Full-text

Semantics of static pointcuts in aspectJ

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

10.1145/1190216.1190221 ◽

2007 ◽

Cited By ~ 6

Author(s):

Pavel Avgustinov ◽

Elnar Hajiyev ◽

Neil Ongkingco ◽

Oege de Moor ◽

Damien Sereni ◽

...

Download Full-text

Towards a mechanized metatheory of standard ML

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

10.1145/1190216.1190245 ◽

2007 ◽

Cited By ~ 32

Author(s):

Daniel K. Lee ◽

Karl Crary ◽

Robert Harper

Keyword(s):

Standard Ml

Download Full-text

Locality approximation using time

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

10.1145/1190216.1190227 ◽

2007 ◽

Cited By ~ 36

Author(s):

Xipeng Shen ◽

Jonathan Shaw ◽

Brian Meeker ◽

Chen Ding

Download Full-text

Scrap your boilerplate with XPath-like combinators

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

10.1145/1190216.1190240 ◽

2007 ◽

Cited By ~ 5

Author(s):

Ralf Lämmel

Download Full-text

Proving that programs eventually do something good

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

10.1145/1190216.1190257 ◽

2007 ◽

Cited By ~ 44

Author(s):

Byron Cook ◽

Alexey Gotsman ◽

Andreas Podelski ◽

Andrey Rybalchenko ◽

Moshe Y. Vardi

Download Full-text

Generative unbinding of names

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

10.1145/1190216.1190232 ◽

2007 ◽

Cited By ~ 1

Author(s):

Andrew M. Pitts ◽

Mark R. Shinwell

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Modular type classes

Specialization of CML message-passing primitives

Types, bytes, and separation logic

Perl 6

Semantics of static pointcuts in aspectJ

Towards a mechanized metatheory of standard ML

Locality approximation using time

Scrap your boilerplate with XPath-like combinators

Proving that programs eventually do something good

Generative unbinding of names

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