jpfairbanks / SemanticModels.jl

A julia package for representing and manipulating model semantics
MIT License
76 stars 16 forks source link

Probabilistic Programming Languages #239

Open jpfairbanks opened 4 years ago

jpfairbanks commented 4 years ago

What would it take to build out a SM.jl representation of a PPL like http://www.zenna.org/Omega.jl/latest/model/ or https://github.com/cscherrer/Soss.jl?

jpfairbanks commented 4 years ago

When we talked to @epatters about Markov Kernels, he suggested that the doctrine of Markov Kernels could be a basis for PPLs.