Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Browse by Author or Creator

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item type | No Grouping
Number of items: 15.

Atkey, Robert and McBride, Conor (2013) Productive coprogramming with guarded recursion. [Proceedings Paper] (In Press)

Atkey, Robert and Johann, Patricia and Kennedy, Andrew (2013) Abstraction and invariance for algebraically indexed types. [Proceedings Paper]

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). ISSN 1860-5974

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia (2012) Fibrational induction meets effects. [Proceedings Paper]

Atkey, Robert (2012) Relational parametricity for higher kinds. [Proceedings Paper] (In Press)

Atkey, Robert (2012) The semantics of parsing with semantic actions. [Proceedings Paper] (In Press)

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2).

Atkey, Robert (2011) What is a categorical model of arrows? [Proceedings Paper]

Atkey, Robert and Johann, Patricia and Ghani, Neil (2011) When is a type refinement an inductive type. [Proceedings Paper]

Atkey, Robert (2010) Amortised resource analysis with separation logic. [Proceedings Paper]

Aspinall, David and Atkey, Robert and MacKenzie, Kenneth and Sannella, Donald (2010) Symbolic and analytic techniques for resource analysis of Java bytecode. [Proceedings Paper]

Atkey, Robert (2009) Parameterised notions of computation. Journal of Functional Programming, 19 (3-4). pp. 335-376. ISSN 0956-7968

Atkey, Robert (2009) Algebras for parameterised monads. [Proceedings Paper]

Atkey, Robert (2009) Syntax for free: representing syntax with binding using parametricity. [Proceedings Paper]

Atkey, Robert and Lindley, Sam and Yallop, Jeremy (2009) Unembedding domain-specific languages. [Proceedings Paper]

This list was generated on Thu Apr 24 23:40:36 2014 BST.