Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661

Schrammel, Peter and Jeannet, Bertrand (2010) Extending abstract acceleration methods to data-flow programs with numerical inputs. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 101-114. ISSN 1571-0661

Mackie, Ian (2005) Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127 (5). pp. 133-151. ISSN 15710661

This list was generated on Thu Oct 19 20:57:28 2017 BST.