Browse "RIMS Journal Papers" by Author 이욱세
Showing results 1 to 3 of 3
| Let-다형성 타입 유추 알고리즘 M의 병목을 해소하기 위한 혼성 알고리즘 H 주상현; 이욱세; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.12, pp.1227 - 1237, 2000-12 |
| 일반화된 Let-다형성 타입 유추 알고리즘 이욱세; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.1, pp.73 - 89, 2001-01 |
| 하향식 타입유추 알고리즘 M의 속성 증명 이욱세; 이광근, 정보과학회논문지(B), v.25, no.8, pp.1281 - 1292, 1998-08 |
Discover
Type
- 4,802 Article
Open Access
- 223 OA Article
Date issued
- 1,018 2020 - 2024
- 1,493 2010 - 2019
- 1,145 2000 - 2009
- 763 1990 - 1999
- 299 1980 - 1989
- 3 1964 - 1969