Gregor Snelting, Wolfgang Henhapl
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis
POPL, 1986.
@inproceedings{POPL-1986-SneltingH, author = "Gregor Snelting and Wolfgang Henhapl", booktitle = "{Conference Record of the 13th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/512644.512665", pages = "229--235", publisher = "{ACM Press}", title = "{Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis}", year = 1986, }