Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Zalastax | Dark Hacker News
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
No submissions yet