Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
Browse the full ICFP paper archive.