diff --git a/pages/Propagators.md b/pages/Propagators.md new file mode 100644 index 0000000..2cbcfa6 --- /dev/null +++ b/pages/Propagators.md @@ -0,0 +1,22 @@ +--- +title: Propagators +contributors: Mariano Guerra +--- + +## Abstract + +We develop a programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate. + +Each machine continuously examines the cells it is interested in, and adds information to some based on deductions it can make from information from the others. + +This model makes it easy to smoothly combine expression-oriented and constraint-based programming; it also easily accommodates implicit incremental distributed search in ordinary programs. + +## Papers + +- [The Art of the Propagator - Alexey Radul & Gerald Jay Sussman](https://citeseerx.ist.psu.edu/document?doi=755c48fd10aa303497ef849977c36529c0bb09ff&repid=rep1&type=pdf) + +## Presentations + +- [Gerald Jay Sussman The Art of the Propagator](https://www.youtube.com/watch?v=-hQFrKspQHA) +- [George Wilson - An Intuition for Propagators - Compose Melbourne 2019](https://www.youtube.com/watch?v=nY1BCv3xn24) +- [Propagators Part 1 • Edward Kmett • YOW! 2016](https://www.youtube.com/watch?v=tETbivwzXBM)