![](https://media.springernature.com/w90/springer-static/cover/journal/10817/49/3.jpg?as=webp)
Volume 49, Issue 3
October 2012Special Issue: The POPLmark Challenge
- Issue Editors:
-
- Benjamin Pierce,
- Stephanie Weirich
7 articles in this issue
Special Issue: The POPLmark Challenge