Browse by Subject multiple dispatch

Showing results 1 to 2 of 2

1
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link

Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011

2
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance

Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoungresearcher; Chase, David; Steele, Guy L., Jr., ACM SIGPLAN NOTICES, v.46, no.10, pp.973 - 992, 2011-10

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0