| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Recursion and Sequentiality in Categories of Sheaves | Matache, Cristina et al. | 2021 |
| 2 | Some Formal Structures in Probability (Invited Talk) | Staton, Sam | 2021 |
| 3 | Probability Theory from a Programming Perspective (Invited Paper) | Staton, Sam | 2018 |
| 4 | The Beta-Bernoulli process and algebraic effects | Staton, Sam et al. | 2018 |
| 5 | Models for Polymorphism over Physical Dimension | Atkey, Robert et al. | 2015 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |