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