Corpus ID: 211044045

A Domain Semantics for Higher-Order Recursive Processes

  title={A Domain Semantics for Higher-Order Recursive Processes},
  author={Ryan Kavanagh},
  • Ryan Kavanagh
  • Published 2020
  • Computer Science
  • ArXiv
  • The polarized SILL programming language uniformly integrates functional programming and session-based concurrency. It supports recursion, asynchronous and synchronous communication, and higher-order programs that communicate processes. We build on work by Atkey to give the first denotational semantics for a language with these features. We use polarity to interpret session types as pairs of domains of unidirectional communications. Processes denote continuous functions between domains of… CONTINUE READING
    Substructural Observed Communication Semantics
    Parametrized Fixed Points on O-Categories and Applications to Session Types


    Publications referenced by this paper.
    A Calculus of Communicating Systems
    • 4,467
    • Open Access
    The Semantics of a Simple Language for Parallel Programming
    • 2,484
    • Open Access
    Types and programming languages
    • 2,328
    • Open Access
    Subtyping for session types in the pi calculus
    • 334
    • Open Access
    Types for Dyadic Interaction
    • 371
    • Open Access
    Derivatives of Regular Expressions
    • 844
    • Open Access
    Denotational Semantics
    • 508
    • Open Access
    Domain theory
    • 1,158
    • Open Access