aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
authorEduardo Julian2020-10-03 12:55:45 -0400
committerEduardo Julian2020-10-03 12:55:45 -0400
commit618b1ce9743bb79f1ae3375b05a394a4183b21e8 (patch)
treedd6890c38bcf182d67cd0d7acccf11edb65143fb /documentation
parentc10e3c13866ef25bab020ec597fd11aa8d01c862 (diff)
Added deployment code to Aedifex.
Diffstat (limited to 'documentation')
-rw-r--r--documentation/research/math.md4
-rw-r--r--documentation/research/math/real numbers.md5
-rw-r--r--documentation/research/paradigm/functional reactive programming.md4
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md1
-rw-r--r--documentation/research/text_editor & ide.md1
5 files changed, 15 insertions, 0 deletions
diff --git a/documentation/research/math.md b/documentation/research/math.md
index 21916064d..9825cd8d6 100644
--- a/documentation/research/math.md
+++ b/documentation/research/math.md
@@ -223,6 +223,10 @@
1. [Finite Calculus: A Tutorial for Solving Nasty Sums](https://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf)
1. http://jliszka.github.io/2013/10/24/exact-numeric-nth-derivatives.html
+# Continuous Calculus
+
+1. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf)
+
# Octonion
1. http://math.ucr.edu/home/baez/octonions/
diff --git a/documentation/research/math/real numbers.md b/documentation/research/math/real numbers.md
new file mode 100644
index 000000000..2daa1873b
--- /dev/null
+++ b/documentation/research/math/real numbers.md
@@ -0,0 +1,5 @@
+# Reference
+
+1. https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-real-numbers/
+1. [Towards an API for the real numbers](https://dl.acm.org/doi/abs/10.1145/3385412.3386037)
+
diff --git a/documentation/research/paradigm/functional reactive programming.md b/documentation/research/paradigm/functional reactive programming.md
new file mode 100644
index 000000000..5f97ebbec
--- /dev/null
+++ b/documentation/research/paradigm/functional reactive programming.md
@@ -0,0 +1,4 @@
+# Reference
+
+1. [Explicitly Comprehensible Functional Reactive Programming](https://futureofcoding.org/papers/comprehensible-frp/comprehensible-frp.pdf)
+
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index d1450f794..937ab34c6 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -64,6 +64,7 @@
# Language
+1. [Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference](https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/tehrani20.pdf)
1. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563)
1. https://hakaru-dev.github.io/
1. http://probcomp.csail.mit.edu/venture/
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md
index ab5f3f4fe..148dc60bc 100644
--- a/documentation/research/text_editor & ide.md
+++ b/documentation/research/text_editor & ide.md
@@ -43,6 +43,7 @@
# Reference
+1. [The Piece Table - the Unsung Hero of Your Text Editor](https://darrenburns.net/posts/piece-table/)
1. [Build Your Own Text Editor](https://viewsourcecode.org/snaptoken/kilo/)
1. [It’s 2019. Why don’t we have good code editors?](https://thoughts.thorlaksson.com/2019/09/27/its-2019-why-dont-we-have-good-code-editors/)
1. [Text Editing Hates You Too](https://lord.io/blog/2019/text-editing-hates-you-too/)