Search Results - "LINDLEY, SAM"

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

    Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.

    Authors: Matache, Cristina Lindley, Sam Moss, Sean et al.

    Source: ACM Transactions on Programming Languages & Systems; Jun2025, Vol. 47 Issue 2, p1-33, 33p

    PDF Full Text
    Save to List
  2. 2

    SEPARATING SESSIONS SMOOTHLY.

    Authors: FOWLER, SIMON KOKKE, WEN DARDHA, ORNELA et al.

    Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-52, 52p

    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

    Doo bee doo bee doo.

    Authors: CONVENT, LUKAS LINDLEY, SAM MCBRIDE, CONOR et al.

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

    PDF Full Text
    Save to List
  5. 5

    The arrow calculus.

    Authors: Lindley, Sam Wadler, Philip Yallop, Jeremy

    Source: Journal of Functional Programming. Jan2010, Vol. 20 Issue 1, p51-69. 19p.

    PDF Full Text
    Save to List
  6. 6

    On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control.

    Authors: FORSTER, YANNICK KAMMAR, OHAD LINDLEY, SAM et al.

    Source: Journal of Functional Programming; 2019, Vol. 29, p1-43, 43p

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

    A polymorphic RPC calculus.

    Authors: Choi, Kwanghoon Cheney, James Fowler, Simon et al.

    Source: Science of Computer Programming; Oct2020, Vol. 197, pN.PAG-N.PAG, 1p

    Save to List
  8. 8

    Normalisation by evaluation in the compilation of typed functional programming languages

    Authors: Lindley, Sam

    Committee Members: Stark, Ian; Gilmore, Stephen

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

    Save to List

Search Tools: