Back to Results
First PageMeta Content
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


Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics
Add to Reading List

Document Date: 2010-11-09 11:24:01

Open Document

File Size: 356,75 KB

Share 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