"Generating safe boundary APIs between typed EDSLs and their environments."

Bob Reynders, Dominique Devriese, Frank Piessens (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics