Browse "RIMS Collection" by Subject type inference algorithm
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
Type
- 4,830 Article
- 3,515 Conference
- 1,493 Patent
- 2 Thesis(Master)
Open Access
- 223 OA Article
Date issued
- 1,339 2020 - 2024
- 2,945 2010 - 2019
- 2,339 2000 - 2009
- 1,846 1990 - 1999
- 579 1980 - 1989
- 3 1964 - 1969