published in Conference Record of the Annual ACM Symposium on Principles of Programming Languages Journal
presented at event POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Conference
keywords 46 Information and Computing Sciences 4602 Artificial Intelligence 50 Philosophy and Religious Studies