create a backlog of papers and meetups

[suhailshergill]

there are some initial thoughts on https://gitter.im/suhailshergill/ProPL-meetup?at=57cf6fac98f8df994d41fdce. inlined below is a summary from gitter:

from the list of papers in http://conf.researchr.org/track/POPL-2016/pps-2016#program the following had caught my eye:

• interface for black-box learning: http://pps2016.soic.indiana.edu/2015/12/21/an-interface-for-black-box-learning-in-probabilistic-programs/
• semantics of figaro: http://pps2016.soic.indiana.edu/2015/12/10/the-semantics-of-figaro-an-embedded-probabilistic-programming-language-2/
• models for probabilistic programs with an adversary: http://pps2016.soic.indiana.edu/2015/12/16/adversaries/
• semantics for higher order probabilistic programs: http://pps2016.soic.indiana.edu/2015/12/11/semantics-of-higher-order-probabilistic-programs/
• types and modules for probabilistic programming: http://pps2016.soic.indiana.edu/2015/12/11/insomnia-types-and-modules-for-probabilistic-programming/
• reasoning about probability and nondeterminism: http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/
• RKHS semantics for probabilistic programs: http://pps2016.soic.indiana.edu/2015/12/16/reproducing-kernel-hilbert-space-semantics-for-probabilistic-programs/ (there's somewhat of a connection with the gaussian process work in ProPL#10)
• exchangeable random primitives: http://pps2016.soic.indiana.edu/2015/12/16/xrps/

the computable distributions paper (http://pps2016.soic.indiana.edu/2015/12/13/an-application-of-computable-distributions-to-the-semantics-of-probabilistic-programs/) and conditioning paper (http://pps2016.soic.indiana.edu/2015/12/11/on-the-semantic-intricacies-of-conditioning/) also look interesting, but we may have already covered some of the aspects of the latter when we've been looking at provably correct samplers.

[suhailshergill]

relating to #16 there is https://arxiv.org/abs/1511.01644 and https://github.com/tmadl/sklearn-expertsys discussion on https://gitter.im/suhailshergill/ProPL-meetup?at=57dbebcaaabc89857fa982c5

some more work here: https://users.cs.duke.edu/~cynthia/papers.html specifically, https://arxiv.org/pdf/1511.01644v1.pdf which looks like an updated version