Expressing Structural Properties as Language Constructs.

Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen

Browse the full ESOP paper archive.