Allen, J., Ariola, Z., Curien, P. L., Fluet, M., Foster, J., Grossman, D., Harper, R., Herbelin, H., Smaragdakis, Y., Walker, D. & Zdancewic, S., Nov 2009, In: ACM SIGPLAN Notices.44, 11, p. 1-33 p.
Research output: Contribution to journal › Review article › peer-review