https://github.com/probcomp/haskell-trace-types

Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
https://github.com/probcomp/haskell-trace-types

Last synced: about 2 months ago
JSON representation

Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"

• Host: GitHub
• URL: https://github.com/probcomp/haskell-trace-types
• Owner: probcomp
• License: mit
• Created: 2020-01-04T22:52:13.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2025-08-08T04:12:46.000Z (10 months ago)
• Last Synced: 2025-08-08T06:20:16.234Z (10 months ago)
• Language: Haskell
• Size: 18.6 KB
• Stars: 10
• Watchers: 5
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# haskell-trace-types

Haskell prototype of the system described in [Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages](https://dl.acm.org/doi/10.1145/3371087).

Run `stack ghci` to start an interactive prompt

with definitions from `TraceTypes` and `BasicExamples`

available.