Back to Results
First PageMeta Content
Numerical linear algebra / Numerical software / Matrices / LAPACK / Basic Linear Algebra Subprograms / General Matrix Multiply / OCaml / Matrix / Caml / Algebra / Linear algebra / Mathematics


A Simple and Practical Linear Algebra Library Interface with Static Size Checking ∗ Akinori Abe Eijiro Sumii
Add to Reading List

Document Date: 2015-04-13 08:03:40

Open Document

File Size: 169,05 KB

Share Result on Facebook

Company

Mitsubishi / /

/

Event

Reorganization / /

Facility

OCaml-GPR library / Akinori Abe Eijiro Sumii Tohoku University / /

IndustryTerm

type systems / caller site / /

Organization

Tohoku University / /

Person

Sa Cui / Siau-Cheng Khoo / Grant Numbers / Oleg Kiselyov / Wei-Ngan Chin / Christophe Troestler / Markus Mottl / Kevin Donnelly / Hongwei Xi / Akinori Abe Eijiro Sumii / /

Position

same author / editor / programmer / /

ProgrammingLanguage

C * / ML / Dependent ML / Fortran / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

http / machine learning / pdf / /

URL

http /

SocialTag