Rok Strniša, Peter Sewell, and Matthew Parkinson
2007
In Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Publisher ACM
| Type | Inproceedings |
| URL | http://doi.acm.org/10.1145/1297027.1297064 |
| Pages | 499–514 |
| Series | OOPSLA '07 |
| ISBN | 978-1-59593-786-5 |
| Address | New York, NY, USA |