Andreas Abel 0001 Stephan Adelsberger Anton Setzer Interactive programming in Agda - Objects and graphical user interfaces. e8 2017 27 J. Funct. Program. https://doi.org/10.1017/S0956796816000319 db/journals/jfp/jfp27.html#AbelAS17