SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs.

Frdric Loulergue, Jordan Ischard

Browse the full ISoLA paper archive.