CUFP 2013
CUFP 2013: Julien Verlaguet, Facebook: Analyzing PHP statically
About this video
Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.
