A relational framework for higher-order shape analysis.

Gowtham Kaki, Suresh Jagannathan

Browse the full ICFP paper archive.