Search Results - "ATKEY, ROBERT"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.

    Authors: ALLAIS, GUILLAUME ATKEY, ROBERT CHAPMAN, JAMES et al.

    Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-55. 55p.

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    Parameterised notions of computation.

    Authors: Atkey, Robert1 bob.atkey@ed.ac.uk

    Source: Journal of Functional Programming. Jul2009, Vol. 19 Issue 3/4, p335-376. 42p.

    PDF Full Text
    Save to List
  3. 3

    Effect handlers via generalised continuations.

    Authors: HILLERSTRÖM, DANIEL LINDLEY, SAM ATKEY, ROBERT

    Source: Journal of Functional Programming; 2020, Vol. 30, p1-69, 69p

    PDF Full Text
    Save to List
  4. 4

    Interleaving data and effects.

    Authors: ATKEY, ROBERT JOHANN, PATRICIA

    Source: Journal of Functional Programming. 2015 Supplement, Vol. 25, pN.PAG-0. 1p.

    PDF Full Text
    Save to List
  5. 5

    Substructural simple type theories for separation and in-place update

    Authors: Atkey, Robert

    Committee Members: Aspinall, David; Stark, Ian

    URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561925

    Save to List

Search Tools: