Practical programming with substructural types
Author(s) -
Jesse A. Tov
Publication year - 2012
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17760/d20004906
Subject(s) - computer science , programming language , substructural logic , logic programming , theoretical computer science , artificial intelligence , many valued logic , description logic
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom