Paper Info
Title
Pure Functional Epidemics: An Agent-Based Approach
Abstract
Agent-Based Simulation (ABS) is a methodology in which a system is simulated in a bottom-up approach by modelling the micro interactions of its constituting parts, called agents, out of which the global system behaviour emerges. So far mainly object-oriented techniques and languages have been used in ABS. Using the SIR model of epidemiology, which simulates the spreading of an infectious disease through a population, we demonstrate how to use pure Functional Reactive Programming to implement ABS. With our approach we can guarantee the reproducibility of the simulation at compile time and rule out specific classes of run-time bugs, something that is not possible with traditional object-oriented languages. Also, we found that the representation in a purely functional format is conceptually quite elegant and opens the way to formally reason about ABS.
Year
DOI
Venue
2018
10.1145/3310232.3310372
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages
Keywords
Field
DocType
Agent-Based Simulation, Functional Reactive Programming, Monadic Stream Functions
Functional reactive programming,Population,Epidemic model,Programming language,Compile time,Computer science,Global system,Theoretical computer science,Purely functional
Conference
ISBN
Citations 
PageRank 
978-1-4503-7143-8
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Jonathan Thaler101.01
Thorsten Altenkirch266856.85
Peer-Olaf Siebers318627.03