No Cover Image

Journal article 445 views 46 downloads

Interactive programming in Agda – Objects and graphical user interfaces / Anton, Setzer

Journal of Functional Programming, Volume: 27

Swansea University Author: Anton, Setzer

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