Inter-deriving Semantic Artifacts for Object-Oriented Programming.

Olivier Danvy, Jacob Johannsen

Browse the full WoLLIC paper archive.