Alan Mycroft
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- ARRAY2 editions2024–2025
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Escaping the Pointless: Embedding Pointful Array Programming in Python | ARRAY 2024 | 2024-06-25 |
Ein is a new pointful array DSL embedded in Python that names indices and compiles into NumPy/JAX/TensorFlow calls; it implements an axial applicative… | ||
| A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) | Haskell 2020 | 2020-08-27 |
Claims a type-oriented framework that guarantees deadlock freedom by encoding a total lock order in types and implements it as a graded monad over IO. Lock… | ||
| nothing matches | ||