Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN
Haskell 2014: Embedding Effect Systems, Dominic Orchard
June 23 Lightweight code verification for science Dominic Orchard
MSFP 2020 - Dominic Orchard - Unifying Graded and Parameterised Monads
WORKSHOP: Pairing and code review presented by Ben Orchard and Dominic Orchard, ICCS.
The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)
Using Git and GitHub together, effectively - Dominic Orchard
Dominic Orchard: "Programming for the Planet"
Immutable Conversations | The Granule Project
FARM 2014: Sam Aaron, Dominic Orchard: Temporal semantics for a live coding language
Day 3 - Introduction to Computational Science in Julia - Dominic Orchard, Tianzhang Cai
WORKSHOP: 20/9/22 Using Git and GitHub effectively by Dominic Orchard, ICCS
Day 2 - Typing Python with mypy - Dominic Orchard
Day 3 - What can abstract mathematics tell us about programming climate models - Dominic Orchard
Introducing the Institute of Computing for Climate Science - CW22 Lightning Talk
Graded Types Meeting 2022, University of Kent
[PROPL'24] Discussion and brain storming: How can the CS/PL community help address the cur...
[Onward! Essays24] Programming Languages for the Future of Design Computation
ICCS Summer School 2022 : Welcome and Introduction 20/9/22-
[FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…)
![[PROPL'24] Discussion and brain storming: How can the CS/PL community help address the cur...](https://img.youtube.com/vi/ib8wDX_7CR8/0.jpg)
![[Onward! Essays24] Programming Languages for the Future of Design Computation](https://img.youtube.com/vi/67aBbyRyiI0/0.jpg)
![[FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…)](https://img.youtube.com/vi/y_tJKfLlfFk/0.jpg)