Browse "RIMS Collection" by Author oukseh lee
Showing results 1 to 1 of 1
| 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 |
Discover
Type
- 4,829 Article
- 3,515 Conference
- 1,493 Patent
- 2 Thesis(Master)
Open Access
- 223 OA Article
Date issued
- 1,338 2020 - 2024
- 2,945 2010 - 2019
- 2,339 2000 - 2009
- 1,846 1990 - 1999
- 579 1980 - 1989
- 3 1964 - 1969