Showing results 1 to 2 of 2
Proofs About a Folklore Let-Polymorphic Type InferenceAlgorithm oukseh lee; kwangkeun yi, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.20, no.4, pp.707 - 723, 1998-07 |
Proofs of a set of hybrid let-polymorphic type inference algorithms Eo, H; Lee, O; Yi, KK, NEW GENERATION COMPUTING, v.22, no.1, pp.1 - 36, 2004 |
Discover