Authenticated modular maps in Haskell.

Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy

Browse the full ICFP paper archive.