142 citations · 367 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
Wasm SpecTec: Engineering a Formal Language Standard
Joachim Breitner, Philippa Gardner, Jaehyun Lee +8
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adop…
cs.PL2023
Higher-Order Asynchronous Effects
Danel Ahman, Matija Pretnar
We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within th…