Abstracting abstract machines.

David Van Horn, Matthew Might

Browse the full ICFP paper archive.