dwincort / cfrp Goto Github PK

   _____ ______ _____  _____  
  / ____|  ____|  __ \|  __ \ 
 | |    | |__  | |__) | |__) |
 | |    |  __| |  _  /|  ___/ 
 | |____| |    | | \ \| |     
  \_____|_|    |_|  \_\_|     
------------------------------

Author: Daniel Winograd-Cort <[email protected]>
Maintainer: Daniel Winograd-Cort <[email protected]>


The CFRP package presents a prototype model for Communicating Functional 
Reactive Processes, or an asynchronizable, effectful FRP model.

The prototype in this package is based on the following work:
* Winograd-Cort, D and Hudak, P. "Communicating Functional Reactive Processes". Unpublished.
* Winograd-Cort, D and Hudak, P. "Wormholes: Introducing Effects to FRP". In Haskell Symposium, pages 91-103. ACM, September 2012.
* Winograd-Cort, D, Liu, H, and Hudak, P. "Virtualizing Real-World Objects in FRP". In Practical Aspects of Declarative Languages, volume 7149 of Lecture Notes in Computer Science, pages 227-241. Springer-Verlag, January 2012.