Tracking Data-Flow with Open Closure Types.

Gabriel Scherer, Jan Hoffmann

Browse the full LPAR paper archive.