|
|
| user: | Zalastax | | created: | July 19, 2015 | | karma: | 213 | | 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 |
|
