Showing results 1 to 2 of 2
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
고차원 함수를 동적 인자전달 방식으로 구현하는 타입 기반 컴파일 방법 = (A) typed compilation of higher-order functions with dynamic argument passinglink Choi, Kwang-Hoon; 최광훈; et al, 한국과학기술원, 2003 |
Discover