stanford-ppl/Green-Marl — pull request #56 by honkdamonk (2012-08-01 20:48:16+00:00)
Title: Maps

added new map-type to the cpp back-end
optimized the map implementation