Jeff Smits, Eelco Visser | Incremental compilation for Stratego | SPLASH 2018 | November 05, 2018 | PDF