Zalastax
- Karma
- 213
- Created
- 10 years ago
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
All submissions on HN
·
View profile on HN