Higher-order functional reactive programming in bounded space

Reference. Higher-order functional reactive programming in bounded space

Neel Krishnaswami, Nick Benton, Jan Hoffmann · POPL · 2012 · PDF · DOI · pldb

Cite

Cite as @krishnaswami-2012-higher (helia, typst) · \cite{krishnaswami-2012-higher} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{krishnaswami-2012-higher, series={POPL ’12}, title={Higher-order functional reactive programming in bounded space}, url={http://dx.doi.org/10.1145/2103656.2103665}, DOI={10.1145/2103656.2103665}, booktitle={Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, publisher={ACM}, author={Krishnaswami, Neelakantan R. and Benton, Nick and Hoffmann, Jan}, year={2012}, month=Jan, pages={45–58}, collection={POPL ’12} }

hayagriva YAML (typst)

yaml · 19 lines

krishnaswami-2012-higher:
  type: article
  title: Higher-order functional reactive programming in bounded space
  author:
  - Krishnaswami, Neelakantan R.
  - Benton, Nick
  - Hoffmann, Jan
  date: 2012-01
  page-range: 45-58
  url: http://dx.doi.org/10.1145/2103656.2103665
  serial-number:
    doi: 10.1145/2103656.2103665
  parent:
    type: proceedings
    title: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    publisher: ACM
    parent:
      type: proceedings
      title: POPL ’12

Download: krishnaswami-2012-higher.bib · krishnaswami-2012-higher.yml

Cites 23 works (0 here)

External (23)

Ultrametric Semantics of Reactive Programs (2011)
A semantic model for graphical user interfaces (2011)
Realizability models and implicit complexity (2011)
Traceable data types for self-adjusting computation (2010)
Logical Step-Indexed Logical Relations (2009)
A cost semantics for self-adjusting computation (2009)
Causal commutative arrows and their optimization (2009)
Safe functional reactive programming through dependent types (2009)
Space profiling for parallel functional programs (2008)
A very modal model of a modern, major, general type system (2007)
Embedding Dynamic Dataflow in a Call-by-Value Language (2006)
Lucid Synchrone, version 3. Tutorial and reference manual (2006)
The Essence of Dataflow Programming (2005)
Linear types and non-size-increasing polynomial time computation (2003)
Arrows, Robots, and Functional Reactive Programming (2003)
Functional reactive programming, continued (2002)
Real-time FRP (2001)
Generalising monads to arrows (2000)
A modality for recursion (2000)
A type system for bounded space and functional in-place update (2000)
The logic of bunched implications. Bulletin of Symbolic Logic, 5 (2) (1999)
Functional reactive animation (1997)
LUSTRE: a declarative language for real-time programming (1987)