Interactive programming in Agda - Objects and graphical user interfaces

Andreas Abel, Stephan Adelsberger, Anton Setzer. Interactive programming in Agda - Objects and graphical user interfaces. Journal of Functional Programming, 27, 2017. [doi]