GitHub - dwincort/CFRP: Communicating Functional Reactive Processes

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitattributes		.gitattributes
.gitignore		.gitignore
CFRP.hs		CFRP.hs
CSF.hs		CSF.hs
MSF.hs		MSF.hs
ReadMe.txt		ReadMe.txt
SF.lhs		SF.lhs
test.hs		test.hs

Repository files navigation

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

Author: Daniel Winograd-Cort <dwc@cs.yale.edu>
Maintainer: Daniel Winograd-Cort <dwc@cs.yale.edu>


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.