Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Consistency types for replicated data in a higher-order distributed programming language
Xin Zhao, Philipp Haller
Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to t…
cs.PL2016
Distributed Programming via Safe Closure Passing
Philipp Haller, Heather Miller
Programming systems incorporating aspects of functional programming, e.g., higher-order functions, are becoming increasingly popular for large-scale distributed programming. New fr…