Higher-order functional reactive programming in bounded space

Neelakantan R. Krishnaswami; Nick Benton; Jan Hoffmann

doi:10.1145/2103656.2103665

Higher-order functional reactive programming in bounded space

Neelakantan R. Krishnaswami
, Nick Benton
, Jan Hoffmann

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

7 Citations (Scopus)

Original language	English
Pages	45-58
DOIs	https://doi.org/10.1145/2103656.2103665
Publication status	Published - 1 Jan 2012
Event	Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12 - Philadelphia, United States Duration: 25 Jan 2012 → 27 Jan 2012

Conference

Conference	Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12
Country/Territory	United States
City	Philadelphia
Period	25/01/12 → 27/01/12

Access to Document

10.1145/2103656.2103665

http://dl.acm.org/citation.cfm?doid=2103656.2103665

Cite this

@conference{762f8d094a654470b4282c59487a9ff8,

title = "Higher-order functional reactive programming in bounded space",

author = "Krishnaswami, \{Neelakantan R.\} and Nick Benton and Jan Hoffmann",

year = "2012",

month = jan,

day = "1",

doi = "10.1145/2103656.2103665",

language = "English",

pages = "45--58",

note = "Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12 ; Conference date: 25-01-2012 Through 27-01-2012",

}

Higher-order functional reactive programming in bounded space. / Krishnaswami, Neelakantan R.; Benton, Nick; Hoffmann, Jan.
2012. 45-58 Paper presented at Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12, Philadelphia, United States.

Research output: Contribution to conference (unpublished) › Paper › peer-review

TY - CONF

T1 - Higher-order functional reactive programming in bounded space

AU - Krishnaswami, Neelakantan R.

AU - Benton, Nick

AU - Hoffmann, Jan

PY - 2012/1/1

Y1 - 2012/1/1

U2 - 10.1145/2103656.2103665

DO - 10.1145/2103656.2103665

M3 - Paper

SP - 45

EP - 58

T2 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12

Y2 - 25 January 2012 through 27 January 2012

ER -