![Procedural programming languages / Cross-platform software / Theoretical computer science / Logic in computer science / Type theory / Type system / Programming language / Formal verification / C / Computing / Software engineering / Computer programming Procedural programming languages / Cross-platform software / Theoretical computer science / Logic in computer science / Type theory / Type system / Programming language / Formal verification / C / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/6db75041c6e6eabdfc84f2cc1f1fe001.jpg)
| Document Date: 2010-11-09 11:24:01 Open Document File Size: 356,75 KBShare Result on Facebook
Facility Informatics The University of Edinburgh / / Organization University of Edinburgh / / Person Ian Stark / David Aspinall / / ProgrammingLanguage Haskell / Java / R / / Technology Java / / URL http /
SocialTag |