Meta-language Support for Type-Safe Access to External Resources.

Mark Hills, Paul Klint, Jurgen J. Vinju

Browse the full SLE paper archive.