Secure distributed programming with value-dependent types with value-dependent types

June 23, 2016 | Author: catalin-hritcu | Category: N/A

Embed

Donate

Report this link

Description

Distributed applications are difficult to program reliably and securely. Dependently typed functionallanguages promise t...

Comments

SUPPORT DOCURI

We need your help!

Thank you for interesting in our services. We are a non-profit group that run this website to share documents. We need your help to maintenance this website.

Donate
Sharing

To keep our site running, we need your help to cover our server cost (about $400/m), a small donation will help us a lot.

No, thanks! Close the box.