Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.
| Autor: | Hyunjun Eo1, Oukseh Lee1, Kwangkeun Yi2 kwang@ropas.kaist.ac.kr |
|---|---|
| Zdroj: | New Generation Computing. 2004, Vol. 22 Issue 1, p1-36. 36p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|