Back to Results
First PageMeta Content
Functional languages / Numerical software / OCaml / Type system / LAPACK / Caml / ML / Software engineering / Computing / Computer programming


OCaml 2014 in Sweden (presented at ML[removed]A Simple and Practical Linear Algebra Library Interface with Static Size Checking
Add to Reading List

Document Date: 2015-04-03 09:10:18

Open Document

File Size: 310,73 KB

Share Result on Facebook

Country

Japan / Sweden / /

Facility

Information Sciences Tohoku University / /

IndustryTerm

type systems / /

Organization

Tohoku University / Graduate School / /

Person

Akinori Abe Eijiro Sumii / /

ProgrammingLanguage

ML / Dependent ML / /

SocialTag