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