Bounded Linear Types in a Resource Semiring

First Author: Ghica D
Attributed to:  A higher-order approach to codesign - 27659 funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-54833-8_18

Publication URI: http://dx.doi.org/10.1007/978-3-642-54833-8_18

Type: Book Chapter

Book Title: Programming Languages and Systems (2014)

Page Reference: 331-350

ISBN: 978-3-642-54832-1