A Type Theory for Robust Failure Handling in Distributed Systems.

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster

Browse the full FORTE paper archive.