Gabriël Konat, Guido Wachsmuth, Eelco Visser, Vlad Vergu, Danny Groenewegen | Declarative Specification and Incremental Execution of Name and Type Analysis | SPLASH 2013 | October 28, 2013 | PDF