http://sro.sussex.ac.uk/ http://sro.sussex.ac.uk/images/sitelogo.png http://sro.sussex.ac.uk/ Mon, 27 Nov 2023 05:41:04 +0000 Mon, 27 Nov 2023 05:41:04 +0000 en Mon, 10 Jul 2017 12:08:18 +0100 http://sro.sussex.ac.uk/id/eprint/69159/ http://sro.sussex.ac.uk/id/eprint/69159/ Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661 Mon, 09 May 2016 10:59:30 +0100 http://sro.sussex.ac.uk/id/eprint/60803/ http://sro.sussex.ac.uk/id/eprint/60803/ 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 Mon, 06 Feb 2012 19:30:20 +0000 http://sro.sussex.ac.uk/id/eprint/20897/ http://sro.sussex.ac.uk/id/eprint/20897/ Mackie, Ian (2005) Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127 (5). pp. 133-151. ISSN 15710661