Journal article 45012 views 821 downloads
Interactive programming in Agda – Objects and graphical user interfaces
Andreas Abel,
Stephan Adelsberger,
Anton Setzer 
Journal of Functional Programming, Volume: 27
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (503.27KB)
DOI (Published version): 10.1017/S0956796816000319
Abstract
Interactive programming in Agda – Objects and graphical user interfaces
| Published in: | Journal of Functional Programming |
|---|---|
| Published: |
Cambridge
Cambridge University Press
2017
|
| Online Access: |
http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.pdf |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa28988 |
| Keywords: |
Agda, coinduction, dependent types, graphical user interfaces, interactive programs, object-oriented programming |
|---|