Login / Signup
On the bright side of type classes: instance arguments in Agda.
Dominique Devriese
Frank Piessens
Published in:
ICFP (2011)
Keyphrases
</>
real time
neural network
three dimensional
face recognition
class hierarchy