Showing results 1 to 3 of 3
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
Scalable framework for parsing: from Fortress to JavaScript Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.9, pp.1219 - 1238, 2016-09 |
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy L., Jr., ACM SIGPLAN NOTICES, v.46, no.10, pp.973 - 992, 2011-10 |
Discover