Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. | 1 | 0.37 | 2013 |
| Ambiguity and context-dependent overloading. | 2 | 0.40 | 2013 |
| Mechanized metatheory for a λ-calculus with trust types. | 0 | 0.34 | 2013 |