[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Information flow inference for ML
Pottier, François, Simonet, VincentYear:
2002
Language:
english
DOI:
10.1145/503272.503302
File:
PDF, 279 KB
english, 2002