diff options
| author | Eduardo Julian | 2020-06-09 23:57:50 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-06-09 23:57:50 -0400 |
| commit | bbb6356a4a4f853dc48a54f1668c6712f0ef659f (patch) | |
| tree | 3e76d2035813e6052c67b8be0debf85a107a77a3 /documentation | |
| parent | cbb6e6bef6a2f0be421e54295c8ee2916b6d13b7 (diff) | |
Basic pattern-matching optimizations.
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/research/Optimization.md | 4 | ||||
| -rw-r--r-- | documentation/research/distributed_programming.md | 1 | ||||
| -rw-r--r-- | documentation/research/math.md | 5 | ||||
| -rw-r--r-- | documentation/research/paradigm/probabilistic_programming.md | 1 |
4 files changed, 11 insertions, 0 deletions
diff --git a/documentation/research/Optimization.md b/documentation/research/Optimization.md index b0a7861a7..e31686963 100644 --- a/documentation/research/Optimization.md +++ b/documentation/research/Optimization.md @@ -1,3 +1,7 @@ +# Pre-fetching + +1. [Prefetching in Functional Languages](https://www.cl.cam.ac.uk/~tmj32/papers/docs/ainsworth20-ismm.pdf) + # Partial evaluation 1. [AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries](https://anydsl.github.io/) diff --git a/documentation/research/distributed_programming.md b/documentation/research/distributed_programming.md index ef4003e18..49ff324fe 100644 --- a/documentation/research/distributed_programming.md +++ b/documentation/research/distributed_programming.md @@ -5,6 +5,7 @@ # Reference +1. [Ambients: Peer-to-Peer Programs and Data](https://ipfs.io/ipfs/QmPhPJE55GvqSz7Pwvkc8n9dbKmqGw6tUGTE1MgfNQvzsf) 1. [Bastion: Highly-available Distributed Fault-tolerant Runtime](https://bastion.rs/) 1. [DDD and Messaging Architectures: An overview of my different series on patterns in distributed systems.](http://verraes.net/2019/05/ddd-msg-arch/) 1. https://replicated.cc/ diff --git a/documentation/research/math.md b/documentation/research/math.md index 5c4363680..21916064d 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -1,3 +1,7 @@ +# Tensor calculus + +1. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf) + # Geometry 1. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf) @@ -145,6 +149,7 @@ # Category Theory +1. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1) 1. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct) 1. [Categorical Query Language](https://www.categoricaldata.net/) 1. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf) diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md index aeb4bf827..d1450f794 100644 --- a/documentation/research/paradigm/probabilistic_programming.md +++ b/documentation/research/paradigm/probabilistic_programming.md @@ -15,6 +15,7 @@ # Reference +1. [The Distribution Monad](http://blog.russelldmatt.com/2018/10/15/the-distribution-monad.html) 1. ["New programming constructs for probabilistic AI" by Marco Cusumano-Towner](https://www.youtube.com/watch?v=xNutxms6SH4) 1. [A tour of probabilistic programming language APIs](https://colcarroll.github.io/ppl-api/) 1. [Paradigms of Probabilistic Programming](https://www.youtube.com/watch?v=CmH1xxKRbiE) |