Obsidian: An embedded language for data-parallel programming (2008)

by Joen Svensson, Koen Claessen, Mary Sheeran
Venue:In Proceedings of International Workshop on Designing Correct Circuits