No Cover Image

Journal article 44300 views 676 downloads

Interactive programming in Agda – Objects and graphical user interfaces

Andreas Abel, Stephan Adelsberger, Anton Setzer Orcid Logo

Journal of Functional Programming, Volume: 27

Swansea University Author: Anton Setzer Orcid Logo

DOI (Published version): 10.1017/S0956796816000319

Published in: Journal of Functional Programming
Published: Cambridge Cambridge University Press 2017
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Agda, coinduction, dependent types, graphical user interfaces, interactive programs, object-oriented programming