Interactive programming in Agda – Objects and graphical user interfaces
Date first appeared online 31/01/2017
DOI 10.1017/S0956796816000319
Authors Setzer A.
Journal Name Journal of Functional Programming
Volume 27

Documents