related documents
- Information effects Conferences
- Towards typing for small-step direct reflection Conferences
POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Conference
- Scholarly Activity