Inter-deriving semantic artifacts for objectoriented programming (2008)

by Olivier Danvy, Jacob Johannsen
Venue:Proceedings of the 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), number 5110 in Lecture Notes in Artificial Intelligence