HN Explorer

Zalastax

↗ HN profile [ 65.7 ms ] full profile
Karma
207
Created
July 20, 2015 (10y ago)
Submissions
0
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
  1. A Very Small SAT Solver (cse.chalmers.se)
    4 points 0