Experience Report: OCaml for an Industrial-strength Static Analysis Framework Pascal Cuoq and Julien Signoles; CEA LIST
International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN
Hmm…it looks like things are taking a while to load. Try again?
