Showing results 1 to 2 of 2
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
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