No Cover Image

Journal article 290 views

Safe Functional Reactive Programming through Dependent Types

Neil Sculthorpe Orcid Logo, Henrik Nilsson

ACM SIGPLAN Notices, Volume: 44, Issue: 9, Pages: 23 - 34

Swansea University Author: Neil Sculthorpe Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/1631687.1596558

Published in: ACM SIGPLAN Notices
Published: 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa17747
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2014-04-08T01:30:09Z
last_indexed 2018-02-09T04:51:40Z
id cronfa17747
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2014-09-30T15:06:47.4450724</datestamp><bib-version>v2</bib-version><id>17747</id><entry>2014-04-07</entry><title>Safe Functional Reactive Programming through Dependent Types</title><swanseaauthors><author><sid>76ee2c9fee94bf4beca191a0ea19e7a4</sid><ORCID>0000-0002-7244-0916</ORCID><firstname>Neil</firstname><surname>Sculthorpe</surname><name>Neil Sculthorpe</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2014-04-07</date><deptcode>SCS</deptcode><abstract></abstract><type>Journal Article</type><journal>ACM SIGPLAN Notices</journal><volume>44</volume><journalNumber>9</journalNumber><paginationStart>23</paginationStart><paginationEnd>34</paginationEnd><publisher/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2009</publishedYear><publishedDate>2009-12-31</publishedDate><doi>10.1145/1631687.1596558</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2014-09-30T15:06:47.4450724</lastEdited><Created>2014-04-07T16:40:45.0103895</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Neil</firstname><surname>Sculthorpe</surname><orcid>0000-0002-7244-0916</orcid><order>1</order></author><author><firstname>Henrik</firstname><surname>Nilsson</surname><order>2</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2014-09-30T15:06:47.4450724 v2 17747 2014-04-07 Safe Functional Reactive Programming through Dependent Types 76ee2c9fee94bf4beca191a0ea19e7a4 0000-0002-7244-0916 Neil Sculthorpe Neil Sculthorpe true false 2014-04-07 SCS Journal Article ACM SIGPLAN Notices 44 9 23 34 31 12 2009 2009-12-31 10.1145/1631687.1596558 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2014-09-30T15:06:47.4450724 2014-04-07T16:40:45.0103895 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Neil Sculthorpe 0000-0002-7244-0916 1 Henrik Nilsson 2
title Safe Functional Reactive Programming through Dependent Types
spellingShingle Safe Functional Reactive Programming through Dependent Types
Neil Sculthorpe
title_short Safe Functional Reactive Programming through Dependent Types
title_full Safe Functional Reactive Programming through Dependent Types
title_fullStr Safe Functional Reactive Programming through Dependent Types
title_full_unstemmed Safe Functional Reactive Programming through Dependent Types
title_sort Safe Functional Reactive Programming through Dependent Types
author_id_str_mv 76ee2c9fee94bf4beca191a0ea19e7a4
author_id_fullname_str_mv 76ee2c9fee94bf4beca191a0ea19e7a4_***_Neil Sculthorpe
author Neil Sculthorpe
author2 Neil Sculthorpe
Henrik Nilsson
format Journal article
container_title ACM SIGPLAN Notices
container_volume 44
container_issue 9
container_start_page 23
publishDate 2009
institution Swansea University
doi_str_mv 10.1145/1631687.1596558
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2009-12-31T03:20:36Z
_version_ 1763750588034580480
score 11.0128355

Similar Items