No Cover Image

Journal article 44600 views 706 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: 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!
first_indexed 2016-06-23T03:27:42Z
last_indexed 2020-07-20T12:45:25Z
id cronfa28988
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-07-20T10:05:07.5009487</datestamp><bib-version>v2</bib-version><id>28988</id><entry>2016-06-23</entry><title>Interactive programming in Agda &#x2013; Objects and graphical user interfaces</title><swanseaauthors><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-06-23</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>Journal of Functional Programming</journal><volume>27</volume><publisher>Cambridge University Press</publisher><placeOfPublication>Cambridge</placeOfPublication><keywords>Agda, coinduction, dependent types, graphical user interfaces, interactive programs, object-oriented programming</keywords><publishedDay>31</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2017</publishedYear><publishedDate>2017-01-31</publishedDate><doi>10.1017/S0956796816000319</doi><url>http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.pdf</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-07-20T10:05:07.5009487</lastEdited><Created>2016-06-23T00:33:49.2503778</Created><authors><author><firstname>Andreas</firstname><surname>Abel</surname><order>1</order></author><author><firstname>Stephan</firstname><surname>Adelsberger</surname><order>2</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>3</order></author></authors><documents><document><filename>0028988-06122016222602.pdf</filename><originalFilename>ooAgdav3.pdf</originalFilename><uploaded>2016-12-06T22:26:02.0630000</uploaded><type>Output</type><contentLength>462901</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-07-31T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2020-07-20T10:05:07.5009487 v2 28988 2016-06-23 Interactive programming in Agda – Objects and graphical user interfaces 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2016-06-23 SCS Journal Article Journal of Functional Programming 27 Cambridge University Press Cambridge Agda, coinduction, dependent types, graphical user interfaces, interactive programs, object-oriented programming 31 1 2017 2017-01-31 10.1017/S0956796816000319 http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.pdf COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2020-07-20T10:05:07.5009487 2016-06-23T00:33:49.2503778 Andreas Abel 1 Stephan Adelsberger 2 Anton Setzer 0000-0001-5322-6060 3 0028988-06122016222602.pdf ooAgdav3.pdf 2016-12-06T22:26:02.0630000 Output 462901 application/pdf Accepted Manuscript true 2017-07-31T00:00:00.0000000 true
title Interactive programming in Agda – Objects and graphical user interfaces
spellingShingle Interactive programming in Agda – Objects and graphical user interfaces
Anton Setzer
title_short Interactive programming in Agda – Objects and graphical user interfaces
title_full Interactive programming in Agda – Objects and graphical user interfaces
title_fullStr Interactive programming in Agda – Objects and graphical user interfaces
title_full_unstemmed Interactive programming in Agda – Objects and graphical user interfaces
title_sort Interactive programming in Agda – Objects and graphical user interfaces
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Anton Setzer
author2 Andreas Abel
Stephan Adelsberger
Anton Setzer
format Journal article
container_title Journal of Functional Programming
container_volume 27
publishDate 2017
institution Swansea University
doi_str_mv 10.1017/S0956796816000319
publisher Cambridge University Press
url http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.pdf
document_store_str 1
active_str 0
published_date 2017-01-31T03:35:21Z
_version_ 1763751516719546368
score 11.036706

Similar Items