Continuity as a computational effect
Continuity as a computational effect
Date
2015
Authors
Renato Jorge Neves
Martins,ManuelA.
Luís Soares Barbosa
Hofmann,Dirk