"Obsidian: A Domain Specific Embedded Language for Parallel Programming of ..."

Joel Svensson, Mary Sheeran, Koen Claessen (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics