Jim Newton
where else to find them
github:jimka2001
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Ulionce
who talks about the same things
- Alexander Konovalov8 talks
- Adam Rosien6 talks
- Markus Hauck5 talks
- Daniela Sfregola11 talks
- Lars Hupel11 talks
- Bartosz Milewski10 talks
| title | conference | date |
|---|---|---|
| Recognizing regular patterns in mixed type sequences using Symbolic Finite Automata | reClojure 2025 | 2025-05-26 |
Library implements Regular Type Expressions as s-exprs and builds symbolic finite automata (using a Brzozowski-derivative style construction) to recognize… | ||
| Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System | PADL 2025 | 2025-01-20 |
Claims a practical method to type-check heterogeneously typed sequences by inventing rational type expressions and compiling them to symbolic finite automata… | ||
| Chasing Arrows, in categories containing functors and monads | Scala.IO 2024 - Nantes | 2024-02-15 |
Course material condenses Category Theory for programmers into Scala code and commutative diagrams, claims that monad = functor + flatMap (laws) and… | ||
| nothing matches | ||