Showing results 1 to 3 of 3
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink 류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996 |
좁은 범위의 타입 오류 정보를 위한 타입유추 알고리즘 = $\cal M$ : a polymorphic type inference algorithm for short-ranged type error messageslink 이욱세; Lee, Ook-Seh; et al, 한국과학기술원, 1997 |
치환간의 종속관계를 이용한 단형 타입의 점진적인 유추 = An incremental monomorphic type inference using a dependency relation on substitutionslink 문부기; Moon, Boo-Gi; et al, 한국과학기술원, 2000 |
Discover