No Cover Image

Journal article 410 views 35 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: Setzer, Anton

DOI (Published version): 10.1017/S0956796816000319

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
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
College: College of Science