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 |