Gershom Bazerman
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Alejandro Serrano Menaonce
- Ben Burdetteonce
- Phil Freemanonce
all 5 in the filters
who talks about the same things
- Tom Stuart11 talks
- Philip Wadler14 talks
- Michael Sperber15 talks
- John Cinnamond7 talks
- Bartosz Milewski10 talks
- Harold Carr6 talks
| title | conference | date |
|---|---|---|
| A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures | Haskell Symposium 2022 | 2022-09-15 |
Claims that every traversable functor admits an infinite traversable instance and that an infinite traversal is productive iff the applicative used is of the… | ||
| The Abstract Method, In General | LambdaConf 2015 | 2015-05-22 |
Argues that abstraction is a method not a topic and claims programming benefits from a weak structuralist standpoint: treat abstractions as first‑class… | ||
| Lightning Talks | LambdaConf 2015 | 2015-05-22 |
Six five- to ten‑minute demos: a workflow using GHC‑mod holes that shows Emacs keybindings, automatic case‑splits and type-driven completions that actually… | ||
| The Art of Program Derivation and Parallel Computation | LambdaConf 2015 | 2015-05-22 |
Starts from the specification and mechanically derives efficient implementations, showing how the Algebra of Programming yields MapReduce ideas and concrete… | ||
| nothing matches | ||