![](/img/cover-not-exists.png)
[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - A very modal model of a modern, major, general type system
Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, JérômeYear:
2007
Language:
english
DOI:
10.1145/1190216.1190235
File:
PDF, 376 KB
english, 2007