Authenticated modular maps in Haskell.

Victor Cacciari Miraldo Harold Carr Alex Kogan Mark Moir Maurice Herlihy

Published in: TyDe@ICFP (2018)

Keyphrases

programming language
functional programming
key exchange protocol
real time
artificial intelligence
authentication scheme
highly flexible
website
high level
object oriented databases
modular neural networks