APA Citation

Setzer, A., Abel, A., & Adelsberger, S. (2017). Interactive programming in Agda – Objects and graphical user interfaces. Journal of Functional Programming, 27, . doi:10.1017/S0956796816000319

Chicago Style Citation

Setzer, Anton, Andreas Abel, and Stephan Adelsberger. "Interactive Programming in Agda – Objects and Graphical User Interfaces." Journal of Functional Programming 27 (2017).

MLA Citation

Setzer, Anton, Andreas Abel, and Stephan Adelsberger. "Interactive Programming in Agda – Objects and Graphical User Interfaces." Journal of Functional Programming 27 (2017).

Warning: These citations may not always be 100% accurate.