No Cover Image

Journal article 182 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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Issue: 9
Start Page: 23
End Page: 34