Hacker News new | comments | ask | show | jobs | submit login
user:Zalastax
created:July 19, 2015
karma: 201
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
comments
favorites