-
- Susmit Sarkar
- University of Cambridge, Cambridge, United Kingdom
-
- Peter Sewell
- University of Cambridge, Cambridge, United Kingdom
-
- Francesco Zappa Nardelli
- INRIA, Rocquencourt, France
-
- Scott Owens
- University of Cambridge, Cambridge, United Kingdom
-
- Tom Ridge
- University of Cambridge, Cambridge, United Kingdom
-
- Thomas Braibant
- INRIA, Rocquencourt, France
-
- Magnus O. Myreen
- Unviersity of Cambridge, Cambridge, United Kingdom
-
- Jade Alglave
- INRIA, Rocquencourt, France
収録刊行物
-
- Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
-
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages 2009-01-21
ACM