Search Results - "LINDLEY, SAM"

  • Showing 1 - 7 results of 7
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

    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
  6. 6

    Not by equations alone: Reasoning with extensible effects.

    Authors: KISELYOV, OLEG MU, SHIN-CHENG SABRY, AMR

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

    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

Search Tools: