Static analysis for syntax objects.

David Fisher, Olin Shivers

Browse the full ICFP paper archive.