2 papers
cs.PL2025
Functional Meaning for Parallel Streaming
Nick Rioux, Steve Zdancewic
Nondeterminism introduced by race conditions and message reorderings makes parallel and distributed programming hard. Nevertheless, promising approaches such as LVars and CRDTs add…
cs.PL2017
FabULous Interoperability for ML and a Linear Language
Gabriel Scherer, Max New, Nick Rioux +1
Instead of a monolithic programming language trying to cover all features of interest, some programming systems are designed by combining together simpler languages that cooperate…