Zalastax

Karma: 213

Joined: almost 10 years ago

ID: Zalastax

About

MSc thesis "Singly typed actors in Agda": http://studentarbeten.chalmers.se/publication/256251-singly-typed-actors-in-agda-an-approach-to-distributed-programming-with-dependent-types

Submissions

Visit submission history to see stories and comments by Zalastax.