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

TOTAL DOCUMENTS

52
(FIVE YEARS 0)

H-INDEX

25
(FIVE YEARS 0)

Published By ACM Press

9781450304900
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Laws of order

2011 ◽  
Author(s):  
Hagit Attiya ◽  
Rachid Guerraoui ◽  
Danny Hendler ◽  
Petr Kuznetsov ◽  
Maged M. Michael ◽  
...  

scholarly journals Step-indexed kripke models over recursive worlds

2011 ◽  
Author(s):  
Lars Birkedal ◽  
Bernhard Reus ◽  
Jan Schwinghammer ◽  
Kristian Støvring ◽  
Jacob Thamsborg ◽  
...  
Keyword(s):  
Kripke Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document