Sciweavers

POPL
2002
ACM
14 years 5 months ago
Information flow inference for ML
François Pottier, Vincent Simonet