Papers tagged operational semantics

• RAY: Integrating Rx and Async for Direct-Style Reactive Streams
• Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

• Browse
• All Keywords
• By Category