From a92edf36f119a19abc0bc356888364b5d7014244 Mon Sep 17 00:00:00 2001 From: Mariano Guerra Date: Wed, 25 Sep 2024 20:57:36 +0200 Subject: [PATCH] Create Propagators.md --- pages/Propagators.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 pages/Propagators.md 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)