1997
Termination of algebraic type systems: the syntactic approach
Publication
Publication
Presented at the
International Conference on Algebraic and Logic Programming, Southampton
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Algebraic and Logic Programming | |
Barthe, G., & van Raamsdonk, F. (1997). Termination of algebraic type systems: the syntactic approach. In Algebraic and Logic Programming (pp. 174–193). Springer. |