Generating Type-Safe Application-Specific Foreign Interfaces. by Chunyan Song