![Functional languages / Numerical software / OCaml / Type system / LAPACK / Caml / ML / Software engineering / Computing / Computer programming Functional languages / Numerical software / OCaml / Type system / LAPACK / Caml / ML / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/bcb12146fc87af663a70e59582c954d7.jpg)
| Document Date: 2015-04-03 09:10:18 Open Document File Size: 310,73 KBShare 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 |