From 69272f598d831e89da83bdc8c9290d5607dfb14d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 31 Oct 2020 20:26:37 -0400 Subject: Re-named the directory for my bookmarks to better reflect what they are. --- .../paradigm/Ambient-Oriented Programming.md | 5 ++ .../bookmark/paradigm/Answer Set Programming.md | 4 ++ .../bookmark/paradigm/Concept programming.md | 8 +++ .../bookmark/paradigm/flow_based_programming.md | 4 ++ .../paradigm/functional reactive programming.md | 4 ++ .../bookmark/paradigm/logic_programming.md | 53 +++++++++++++++ .../bookmark/paradigm/probabilistic_programming.md | 75 ++++++++++++++++++++++ 7 files changed, 153 insertions(+) create mode 100644 documentation/bookmark/paradigm/Ambient-Oriented Programming.md create mode 100644 documentation/bookmark/paradigm/Answer Set Programming.md create mode 100644 documentation/bookmark/paradigm/Concept programming.md create mode 100644 documentation/bookmark/paradigm/flow_based_programming.md create mode 100644 documentation/bookmark/paradigm/functional reactive programming.md create mode 100644 documentation/bookmark/paradigm/logic_programming.md create mode 100644 documentation/bookmark/paradigm/probabilistic_programming.md (limited to 'documentation/bookmark/paradigm') diff --git a/documentation/bookmark/paradigm/Ambient-Oriented Programming.md b/documentation/bookmark/paradigm/Ambient-Oriented Programming.md new file mode 100644 index 000000000..4ff41ff5e --- /dev/null +++ b/documentation/bookmark/paradigm/Ambient-Oriented Programming.md @@ -0,0 +1,5 @@ +# Reference + +1. [Ambient-Oriented Programming in AmbientTalk](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.417.906&rep=rep1&type=pdf) +1. [Ambient-oriented programming](https://dl.acm.org/citation.cfm?id=1094867) +1. [AmbientTalk](https://en.wikipedia.org/wiki/AmbientTalk) diff --git a/documentation/bookmark/paradigm/Answer Set Programming.md b/documentation/bookmark/paradigm/Answer Set Programming.md new file mode 100644 index 000000000..089debd99 --- /dev/null +++ b/documentation/bookmark/paradigm/Answer Set Programming.md @@ -0,0 +1,4 @@ +# Reference + +1. [Introduction to Answer Set Programming (ASP)](https://lucas.bourneuf.net/blog/drafts/tuto-asp-en.html) + diff --git a/documentation/bookmark/paradigm/Concept programming.md b/documentation/bookmark/paradigm/Concept programming.md new file mode 100644 index 000000000..c91489723 --- /dev/null +++ b/documentation/bookmark/paradigm/Concept programming.md @@ -0,0 +1,8 @@ +# Language + +1. [XL (programming language)](https://en.wikipedia.org/wiki/XL_(programming_language)) +1. http://xlr.sourceforge.net/ +1. https://sourceforge.net/projects/xlr/ +1. https://github.com/c3d/xl +1. http://mozart-dev.sourceforge.net/xl.html + diff --git a/documentation/bookmark/paradigm/flow_based_programming.md b/documentation/bookmark/paradigm/flow_based_programming.md new file mode 100644 index 000000000..f13969722 --- /dev/null +++ b/documentation/bookmark/paradigm/flow_based_programming.md @@ -0,0 +1,4 @@ +# Reference + +1. [Towards Separation of Concerns in Flow-Based Programming](http://orbit.dtu.dk/files/128046887/FBDSL_final.pdf) + diff --git a/documentation/bookmark/paradigm/functional reactive programming.md b/documentation/bookmark/paradigm/functional reactive programming.md new file mode 100644 index 000000000..5f97ebbec --- /dev/null +++ b/documentation/bookmark/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/bookmark/paradigm/logic_programming.md b/documentation/bookmark/paradigm/logic_programming.md new file mode 100644 index 000000000..25c059ca9 --- /dev/null +++ b/documentation/bookmark/paradigm/logic_programming.md @@ -0,0 +1,53 @@ +# Reference + +1. https://book.simply-logical.space/ +1. [Higher-Order Logic Programming](https://www.lix.polytechnique.fr/~dale/papers/Handbook_Logic_AI_LP.pdf) +1. [HiLog: A foundation for higher-order logic programming](http://www.sciencedirect.com/science/article/pii/074310669390039J) +1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B07B9SL4LR +1. [Can Logic Programming Execute as Fast as Imperative Programming?](https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf) +1. [Automatic Differentiation using Constraint Handling Rules in Prolog](https://arxiv.org/abs/1706.00231) +1. [A Framework for Extending microKanren with Constraints](https://arxiv.org/pdf/1701.00633.pdf) +1. https://www.amazon.com/Clause-Effect-Programming-Working-Programmer/dp/3540629718 +1. https://medium.com/@enkiv2/mycroft-a-predicate-logic-language-overview-post-mortem-e357fe80d53 +1. http://lambda-the-ultimate.org/node/112 +1. http://okmij.org/ftp/papers/LogicT.pdf +1. https://www.researchgate.net/publication/2274015_Relational_Programming_in_Libra +1. [Monadic-style backtracking](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +1. [Prolog's control constructs in a functional setting - Axioms and implementation](http://www.cs.ox.ac.uk/ralf.hinze/publications/index.html) +1. [Solving Problems Declaratively - Mark Engelberg](https://www.youtube.com/watch?v=TA9DBG8x-ys) +1. http://programming-puzzler.blogspot.com/2013/03/logic-programming-is-overrated.html +1. https://gist.github.com/swannodette/3217582 +1. [AppLP: A Dialogue on Applications of Logic Programming](https://arxiv.org/pdf/1704.02375.pdf) +1. https://www.metalevel.at/prolog +1. https://www.amazon.com/Reasoned-Schemer-MIT-Press-ebook/dp/B004GEBQS6 +1. https://github.com/Web-Prolog/swi-web-prolog/blob/master/web-client/apps/swish/web-prolog.pdf +1. [Den of Clojure Build Your Own Logic Engine](https://www.youtube.com/watch?v=y1bVJOAfhKY) +1. https://eli.thegreenplace.net/2018/unification/ +1. http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ +1. [Can logic programming execute as fast as imperative programming?](https://dl.acm.org/citation.cfm?id=128589) +1. https://synthese.wordpress.com/2010/08/21/prologs-death/ + +# Language + +1. [Curry: A Truly Integrated Functional Logic Language](https://www-ps.informatik.uni-kiel.de/currywiki/) +1. https://flix.github.io/ +1. http://logtalk.org/ +1. https://github.com/fnogatz/CHR.js +1. https://mercurylang.org/ +1. https://www.quora.com/What-are-examples-of-statically-typed-logic-programming-languages-ex-similar-to-Prolog +1. [Racklog: Prolog-Style Logic Programming](https://plt.eecs.northwestern.edu/snapshots/current/pdf-doc/racklog.pdf) +1. https://souffle-lang.github.io/ + +# Beyond logic programming + +1. https://github.com/Web-Prolog/swi-web-prolog + +# Constraint Logic Programming + +1. http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html +1. https://stackabuse.com/constraint-programming-with-python-constraint/ + +# Constraint Handling Rules + +1. http://chrjs.net/ + diff --git a/documentation/bookmark/paradigm/probabilistic_programming.md b/documentation/bookmark/paradigm/probabilistic_programming.md new file mode 100644 index 000000000..8cfcc3ce9 --- /dev/null +++ b/documentation/bookmark/paradigm/probabilistic_programming.md @@ -0,0 +1,75 @@ +# Library + +1. [Soss](https://github.com/cscherrer/Soss.jl) + +# Ranked Programming + +1. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf) +1. https://github.com/tjitze/ranked-programming + +# Inference + +1. [Gen: A general-purpose probabilistic programming system with programmable inference.](https://probcomp.github.io/Gen/) +1. [Probabilistic Programming with Programmable Inference](https://people.csail.mit.edu/rinard/paper/pldi18.pdf) +1. https://www.microsoft.com/en-us/research/blog/dowhy-a-library-for-causal-inference/ + +# Reference + +1. [An unorthodox path for implementing a probabilistic programming language](http://hyperparameter.space/blog/an-unorthodox-path-for-implementing-a-probabilistic-programming-language/) +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) +1. [Anatomy of a Probabilistic Programming Framework](https://eigenfoo.xyz/prob-prog-frameworks/) +1. [Probabilistic Programming with monad‑bayes, Part 1: First Steps](https://www.tweag.io/posts/2019-09-20-monad-bayes-1.html) +1. [Probabilistic Programming with monad‑bayes, Part 2: Linear Regression](https://www.tweag.io/posts/2019-11-08-monad-bayes-2.html) +1. [FACTORIE](http://factorie.cs.umass.edu/) +1. [End-User Probabilistic Programming (DRAFT)](https://www.cs.uoregon.edu/research/summerschool/summer19/lecture_notes/DRAFT___Probabilistic_Programming_for_End_Users.pdf) +1. http://willcrichton.net/notes/probabilistic-programming-under-the-hood/ +1. [Ask HN: What companies are using probabilistic programming?](https://news.ycombinator.com/item?id=17220861) +1. https://www-forbes-com.cdn.ampproject.org/v/s/www.forbes.com/sites/quora/2018/05/18/even-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept/amp/?amp_js_v=a1&_gsa=1#amp_tf=From%20%251%24s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2Famp%2F%23amp_tf%3DFrom%2520%25251%2524s&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F&share=https%3A%2F%2Fwww.forbes.com%2Fsites%2Fquora%2F2018%2F05%2F18%2Feven-the-most-advanced-computer-programmers-have-probably-never-heard-of-this-concept%2F +1. [Deep Probabilistic Programming Languages: A Qualitative Study](https://arxiv.org/abs/1804.06458) +1. [A Provably Correct Sampler for Probabilistic Programs](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/final.pdf) +1. [Practical Probabilistic Programming with Monads](http://mlg.eng.cam.ac.uk/pub/pdf/SciGhaGor15.pdf) +1. [Probabilistic Functional Programming in Haskell](https://web.engr.oregonstate.edu/~erwig/papers/PFP_JFP06.pdf) +1. [The Probability Monad](https://www.youtube.com/watch?v=qZ4O-1VYv4c) +1. https://www.chrisstucchio.com/blog/2016/probability_the_monad.html +1. http://dippl.org/ +1. [Deep Probabilistic Programming](https://arxiv.org/abs/1701.03757v1) +1. [Symbolic Conditioning of Arrays in Probabilistic Programs](http://homes.soic.indiana.edu/pravnar/disintegrate-arrays.pdf) +1. http://probabilistic-programming.org/wiki/Home +1. http://underscore.io/blog/posts/2016/04/21/probabilistic-programming.html +1. https://moalquraishi.wordpress.com/2015/03/29/the-state-of-probabilistic-programming/ +1. https://en.wikipedia.org/wiki/Probabilistic_programming_language +1. https://probmods.org/ +1. http://adriansampson.net/doc/ppl.html +1. http://blog.fastforwardlabs.com/2017/10/02/pp-bibliography.html +1. http://blog.fastforwardlabs.com/2017/01/30/the-algorithms-behind-probabilistic-programming.html +1. https://arxiv.org/abs/1701.03757 +1. [Typed functional probabilistic programming: ready for practical use?](https://www.youtube.com/watch?v=DGZXoi6ehwA) +1. [Generative probabilistic programming: applications and new ideas](https://www.youtube.com/watch?v=M_vG_6pq0XM) +1. [Probabilistic Programming for Programming Languages People](https://github.com/sampsyo/ppl-intro) +1. [Bayesian Methods for Hackers](https://github.com/CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers) +1. [An Introduction to Probabilistic Programming](https://arxiv.org/abs/1809.10756) +1. http://www.stormchecker.org/index.html +1. https://betanalpha.github.io/assets/case_studies/conditional_probability_theory.html +1. https://kaomorphism.com/2019/01/17/How-To-Predict-Any-Three-Events-More-Accurately.html +1. [Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic](https://www.youtube.com/watch?v=CXiCJ7M72Wc) + +# DSL + +1. [Embedded probabilistic domain-specific language Hakaru10 (discrete and continuous distributions, MCMC (MH) sampling)](http://okmij.org/ftp/kakuritu/Hakaru10/index.html) +1. https://github.com/p2t2/figaro +1. http://www.robots.ox.ac.uk/~fwood/anglican/ +1. [Probabilistic programming and meta-programming in Clojure - Vikash Mansinghka](https://www.youtube.com/watch?v=KLGwLkmh8gI) + +# 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/ +1. https://github.com/tjitze/RankPL/ +1. http://turing.guru/ +1. https://eng.uber.com/pyro/ + -- cgit v1.2.3