Dijkstra Monads for Free.

Danel Ahman Catalin Hritcu Guido Martínez Gordon D. Plotkin Jonathan Protzenko Aseem Rastogi Nikhil Swamy

Published in: CoRR (2016)

Keyphrases

real time
image sequences
viewpoint