Typechecking the Charity term logic (1997) [1 citations — 0 self]
by Peter Vesely
ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/typecheck.ps.gz
Add To MetaCart
Abstract:
The purpose of this note is to describe the term logic typechecker which has been implemented in the Charity interpreter. The typechecker plays an important role in the front end of the interpreter. In conjunction with the parser, the typechecker determines whether an
Citations
| 168 | Solving equations in abstract algebras: a rule-based survey of unification – Jouannaud, Kirchner - 1991 |
| 72 | A Theory of Type Polymorphism – Milner - 1978 |
