Tecton: A Language for Manipulating Generic Objects.

Deepak Kapur, David R. Musser, Alexander A. Stepanov

Browse the full FM paper archive.