@inproceedings{Rhine,

title={Rhine: FRP with type-level clocks},

author={B{\"a}renz, Manuel and Perez, Ivan},

booktitle={Proceedings of the 11th International Symposium on Haskell},

pages={145--157},

year={2018},

organization={ACM}

}

@inproceedings{Dunai,

author = {Perez, Ivan and B\"{a}renz, Manuel and Nilsson, Henrik},

title = {Functional Reactive Programming, Refactored},

booktitle = {Proceedings of the 9th International Symposium on Haskell},

series = {Haskell 2016},

year = {2016},

isbn = {978-1-4503-4434-0},

location = {Nara, Japan},

pages = {33--44},

numpages = {12},

IGNOREurl = {http://doi.acm.org/10.1145/2976002.2976010},

IGNOREdoi = {10.1145/2976002.2976010},

acmid = {2976010},

publisher = {ACM},

IGNOREaddress = {New York, NY, USA},

keywords = {Haskell, functional reactive programming, monadic streams, reactive program- ming, stream programming},

}

@inproceedings{Yampa,

author = {Nilsson, Henrik and Courtney, Antony and Peterson, John},

title = {Functional Reactive Programming, Continued},

booktitle = {Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell},

series = {Haskell '02},

year = {2002},

isbn = {1-58113-605-6},

location = {Pittsburgh, Pennsylvania},

pages = {51--64},

numpages = {14},

IGNOREurl = {http://doi.acm.org/10.1145/581690.581695},

IGNOREdoi = {10.1145/581690.581695},

acmid = {581695},

publisher = {ACM},

IGNOREaddress = {New York, NY, USA},

keywords = {FRP, Haskell, domain-specific languages, functional programming, hybrid modeling, synchronous dataflow languages},

}

@inproceedings{composable-memory-transactions,

author = {Harris, Tim and Marlow, Simon and Peyton Jones, Simon},

title = {Composable memory transactions},

booktitle = {PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming},

year = {2005},

month = {January},

publisher = {ACM Press},

url = {https://www.microsoft.com/en-us/research/publication/composable-memory-transactions/},

pages = {48-60},

isbn = {1-59593-080-9},

edition = {PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming},

}

@inproceedings{syb,

author = {Lämmel, Ralf and Peyton Jones, Simon},

title = {Scrap your boilerplate: a practical approach to generic programming},

year = {2003},

month = {January},

publisher = {ACM Press},

url = {https://www.microsoft.com/en-us/research/publication/scrap-your-boilerplate-a-practical-approach-to-generic-programming/},

pages = {26-37},

edition = {ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI'03)},

}

@book{armstrong2013programming,

title={Programming Erlang: software for a concurrent world},

author={Armstrong, Joe},

year={2013},

publisher={Pragmatic Bookshelf}

}

@book{wilson2011supercollider,

title={The SuperCollider Book},

author={Wilson, Scott and Cottle, David and Collins, Nick},

year={2011},

publisher={The MIT Press}

}

@inproceedings{mclean2014tidal,

title={Making programming languages to dance to: live coding with tidal},

author={McLean, Alex},

booktitle={Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling \& design},

pages={63--70},

year={2014},

organization={ACM}

}

@inproceedings{GenericDeriving,

title={A generic deriving mechanism for Haskell},

author={Magalh{\~a}es, Jos{\'e} Pedro and Dijkstra, Atze and Jeuring, Johan and L{\"o}h, Andres},

booktitle={ACM Sigplan Notices},

volume={45},

number={11},

pages={37--48},

year={2010},

organization={ACM}

}

@inproceedings{wadler1989theorems,

title={Theorems for free!},

author={Wadler, Philip},

booktitle={FPCA},

volume={89},

number={4},

pages={347--359},

year={1989}

}

@inproceedings{LiquidHaskell,

title={Refinement types for Haskell},

author={Vazou, Niki and Seidel, Eric L and Jhala, Ranjit and Vytiniotis, Dimitrios and Peyton-Jones, Simon},

booktitle={ACM SIGPLAN Notices},

volume={49},

number={9},

pages={269--282},

year={2014},

organization={ACM}

}

@phdthesis{MonadFix,

title={Value recursion in monadic computations},

author={Erk{\"o}k, Levent},

year={2002},

school={OGI School of Science \& Engineering at OHSU}

}

@book{ProperTesting,

title={Property-Based Testing with PropEr, Erlang, and Elixir},

author={Fred Hebert},

year={2019},

publisher={Pragmatic Bookshelf}

}

@inproceedings{Warp,

title = {Warp},

booktitle = {The Performance of Open Source Applications},

author = {Yamamoto, Kazu and Snoyman, Michael and Voellmy, Andreas},

howpublished = {\url{http://www.aosabook.org/en/posa/warp.html}}

}

@article{Arrows,

title={Generalising monads to arrows},

author={Hughes, John},

journal={Science of computer programming},

volume={37},

number={1-3},

pages={67--111},

year={2000},

publisher={Elsevier}

}

@inproceedings{ArrowNotation,

title={A new notation for arrows},

author={Paterson, Ross},

booktitle={ACM SIGPLAN Notices},

volume={36},

number={10},

pages={229--240},

year={2001},

organization={ACM}

}

@inproceedings{quickcheck,

author = {Claessen, Koen and Hughes, John},

title = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},

booktitle = {Proceedings of the International Conference on Functional Programming},

series = {ICFP 2000},

year = {2000},

publisher = {ACM},

}

@misc{Gloss,

author = {Lippmeier, Ben},

title = {Gloss},

year = {2010},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/benl23x5/gloss}}

}

@misc{foreign-store,

author = {Done, Chris},

title = {foreign-store},

year = {2014},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/esoeylemez/foreign-store}}

}

@misc{mmorph,

author = {Gonzalez, Gabriel},

title = {mmorph},

year = {2013},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/Gabriel439/Haskell-MMorph-Library}}

}

@article{QuickCheckIO,

title={Testing monadic code with QuickCheck},

author={Claessen, Koen and Hughes, John},

journal={ACM SIGPLAN Notices},

volume={37},

number={12},

pages={47--59},

year={2002},

publisher={ACM},

howpublished = {http://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps}

}

@article{Mealy,

title={A method for synthesizing sequential circuits},

author={Mealy, George H},

journal={The Bell System Technical Journal},

volume={34},

number={5},

pages={1045--1079},

year={1955},

publisher={Nokia Bell Labs}

}

@inproceedings{jones1995functional,

title={Functional programming with overloading and higher-order polymorphism},

author={Jones, Mark P},

booktitle={International School on Advanced Functional Programming},

pages={97--136},

year={1995},

organization={Springer}

}

@misc{transformers,

title={transformers},

author={Gill, Andy and Paterson, Ross},

year={2004},

howpublished={https://hub.darcs.net/ross/transformers/}

}

@misc{boltzmann-samplers,

author = {Li-yao Xia},

title = {boltzmann-samplers},

year = {2017},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/Lysxia/boltzmann-samplers}}

}

@misc{ghcid,

author = {Neil Mitchell},

title = {ghcid},

year = {2014},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/ndmitchell/ghcid/}}

}

@inproceedings{CaspiPouzet,

TITLE = {{A Co-iterative Characterization of Synchronous Stream Functions}},

AUTHOR = {Caspi, Paul and Pouzet, Marc},

URL = {https://hal.archives-ouvertes.fr/hal-01622305},

BOOKTITLE = {{Workshop on Coalgebraic Methods in Computer Science (CMCS'98)}},

ADDRESS = {Lisbon, Portugal},

PUBLISHER = {{Elsevier}},

SERIES = {Electronic Notes in Theoretical Computer Science},

VOLUME = {11},

PAGES = {1-21},

YEAR = {1998},

MONTH = Mar,

DOI = {10.1016/S1571-0661(04)00050-7},

HAL_ID = {hal-01622305},

HAL_VERSION = {v1},

}

@article{WinogradHudak2014settable,

title={Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough},

author={Winograd-Cort, Daniel and Hudak, Paul},

journal={ACM SIGPLAN Notices},

volume={49},

number={9},

pages={213--225},

year={2014},

publisher={ACM New York, NY, USA}

}

@inproceedings{murphy2016livecoding,

title={A livecoding semantics for functional reactive programming},

author={Murphy, Tom E.},

booktitle={Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design},

pages={48--53},

year={2016}

}

@misc{HyperHaskell,

author = {Apfelmus, Heinrich},

title = {HyperHaskell},

year = {2016},

publisher = {GitHub},

journal = {GitHub},

howpublished = {\url{https://github.com/HeinrichApfelmus/hyper-haskell}}

}

@inproceedings{apfelmus2019functors,

title={Functors and music},

author={Apfelmus, Heinrich},

booktitle={Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design},

pages={52--55},

year={2019}

}

@article{ingalls2020evolutionofsmalltalk,

title={The evolution of Smalltalk: from Smalltalk-72 through Squeak},

author={Ingalls, Daniel},

journal={Proceedings of the ACM on Programming Languages},

volume={4},

number={HOPL},

pages={1--101},

year={2020},

publisher={ACM New York, NY, USA}

}

@incollection{MILNER1975157,

title = "Processes: A Mathematical Model of Computing Agents",

editor = "H.E. Rose and J.C. Shepherdson",

series = "Studies in Logic and the Foundations of Mathematics",

publisher = "Elsevier",

volume = "80",

pages = "157 - 173",

year = "1975",

booktitle = "Logic Colloquium '73",

issn = "0049-237X",

doi = "https://doi.org/10.1016/S0049-237X(08)71948-7",

url = "http://www.sciencedirect.com/science/article/pii/S0049237X08719487",

author = "Robin Milner",

abstract = "Publisher Summary

Most of the computing agents with which computing science is concerned exhibit behavior that is not just the computation of a mathematical function of their inputs but rather a possibly infinite sequence of communications with their environment. The mathematics of processes promises to unify the behavioral study of computing agents, both hardware and software. This chapter describes the concepts that may be useful in modeling the behavior of intercommunicating agents, together with some examples. It is becoming clear that informal (but rigorous) proofs about communicating systems, analogous to proofs about serial programs based on the assertion technique introduced by Floyd and others, are considerably harder to express."

}

@article{hasuo_jacobs_2011,

title={Traces for coalgebraic components},

volume={21},

DOI={10.1017/S0960129510000551},

number={2},

journal={Mathematical Structures in Computer Science},

publisher={Cambridge University Press},

author={Hasuo, Ichiro and Jacobs, Bart},

year={2011},

pages={267–320}

}

@article{pirog2014coinductive,

title={The coinductive resumption monad},

author={Pir{\'o}g, Maciej and Gibbons, Jeremy},

journal={Electronic notes in theoretical computer science},

volume={308},

pages={273--288},

year={2014},

publisher={Elsevier}

}

@article{AbramskyHaghverdiScott,

author = {Abramsky, Samson and Haghverdi, Esfandiar and Scott, Philip},

year = {2002},

month = {10},

pages = {625-665},

title = {Geometry of Interaction and Linear Combinatory Algebras.},

volume = {12},

journal = {Mathematical Structures in Computer Science},

doi = {10.1017/S0960129502003730}

}