Dominic Orchard
where else to find them
bluesky:dorchard.bsky.social
x:dorchard
what they talk about
all 8 in the filters
where they keep going back
- PROPL3 editions2024–2026
all 6 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Mind the Gap: General-Purpose Programming Languages Impede Scientific Model(…) | PROPL 2026 | 2026-06-15 |
Position: general-purpose languages make domain meaning disappear, hampering model reuse and verification; evidence comes from re-architecting a neural‑network… | ||
| Introduction | PROPL 2026 | 2026-06-15 |
CO2 concentration exceeds 430 ppm in 2026 and the last three years are the hottest on record; biodiversity monitoring shows a 73% drop in the Living Planet… | ||
| Welcome to the 2nd PROPL | PROPL 2025 | 2025-10-13 |
Workshop revival originates from a small cross-disciplinary effort to apply programming languages and systems to climate and biodiversity problems, following a… | ||
| Towards Modelling and Verification of Coupler Behaviour in Climate Models | PROPL 2025 | 2025-10-13 |
Argues for inserting dynamic runtime contracts at coupler boundaries to catch unit mismatches, timing and routing errors before they propagate; extracts… | ||
| Structuring Arrays with Algebraic Shapes | ARRAY 2025 | 2025-06-17 |
A new array calculus called Star gives arrays structured shapes and indices as records and variants with structural subtyping, so indexing errors are prevented… | ||
| Programming Languages for the Future of Design Computation | Onward! 2024 | 2024-10-23 |
Argues for a concrete four-language system: an entry visual language that warns when graphs get illegible, a transitional node-to-text language with one-to-one… | ||
| From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…) | FProPer 2024 | 2024-09-06 |
Argues that stencil computations fit a comonadic interface and demonstrates a working DSL, ipnos DSL, with Haskell desugaring and 5–10% speedups in prototypes… | ||
| Discussion and brain storming: How can the CS/PL community help address the cur... | PROPL 2024 | 2024-01-20 |
Discussion documents a plan to collect concrete actions in a shared Google Doc, run a summer school on programming for climate science, and coordinate… | ||
| Towards Graded Modal Dependent Types | TyDe 2020 | 2020-08-23 |
Graded Modal Dependent Type Theory (GrTT) defines dependent types indexed by a preordered semiring of grades to track resource use both at runtime and in… | ||
| Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN 2019 | 2019-11-07 |
Granule implements a functional language combining linear, indexed and graded modal types with a working REPL and typechecker that uses an automated theorem… | ||
| nothing matches | ||