Dijkstra monads for free.

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

Published in: POPL (2017)

Keyphrases

image analysis
multimedia
digital images
real time
motion estimation
video sequences
bit rate