No Cover Image

Journal article 470 views 50 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:
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