Generating safe boundary APIs between typed EDSLs and their environments.

Bob Reynders, Dominique Devriese, Frank Piessens

Browse the full GPCE paper archive.