Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.

Gregor Snelting, Wolfgang Henhapl

Browse the full POPL paper archive.