Skip to content
Hallway
0:00 / 0:00

#monads#categorytheory#probabilisticprogramming

Swaraj Dash: A Monad for Probabilistic Point Processes

Applied Category Theory

2.5K subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Swaraj Dash

Advanced. Deep dive for people who know the field.

287 views6 years ago1 recommendation

Computer scienceProgramming languagesFunctional programmingComputation and complexityMath for programmers

Swaraj Dash presents a categorical framework and monad design for modeling probabilistic point processes.

Talk at the Applied Category Theory 2020 Conference Main website: act2020.mit.edu/ More talks in this playlist: youtube.com/playlist?list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI Title: A Monad for Probabilistic Point Processes Speaker: Swaraj Dash (joint work with Sam Staton) Chair: Prakash Panangaden Date: July 6th, 2020

Why it's here

1 person recommends this

What people say. Recommended as a reference for implementing complex probability models in functional languages like Haskell.

u/tikhonjelvisin r/haskell • Recommends

On “Is Haskell a good fit for a bachelor’s thesis on new combination rules in the Theory of Evidence (Dempster–Shafer framework)?”

…able in Haskell, I expect this would be *much* easier to get right compared to trying to implement something in C++. If you talk this over with your advisor and want to explore this direction, I'm more than happy to talk in more detail. Feel free to ping me at tikhon@jelv.is. 2: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2020:61.pdf 3: link to this video…
11View on Reddit