Andreas Abel, Stephan Adelsberger, Anton Setzer. Interactive programming in Agda - Objects and graphical user interfaces. Journal of Functional Programming, 27, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.