Paul Snively
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- LambdaConf2 editions2018–2025
all 4 in the filters
on a stage with
- Amanda Laucheronce
who talks about the same things
- Simon Peyton Jones26 talks
- Lennart Augustsson10 talks
- Tony Morris16 talks
- Pawel Szulc28 talks
- Adam McCullough6 talks
- Daniel Beskin8 talks
| title | conference | date |
|---|---|---|
| Chapter and Verse: An Outsider's Overview of Epic Games' New Language | LambdaConf 2025 | 2025-05-12 |
Verse is a logic‑functional language that aims to collapse types and values into one system, with a Verse Calculus underpinning goal‑driven, backtracking… | ||
| FP Scala Meat & Potatoes... | Scale By The Bay 2018 | 2018-11-15 |
Demonstrates a working CRUD JSON REST API built with http4s, JSON codecs auto‑derived via Circe, and SQL via Doobie that parses POSTed JSON, inserts rows, and… | ||
| Interview | Scale By The Bay 2018 | 2018-11-15 |
Building a personalized ad technology platform for several clients that drives loyalty programs through a multi-step engagement flow that increases customer… | ||
| Typed FP on the Job Why Bother | LambdaConf 2018 | 2018-06-03 |
Claim: pure typed FP yields executable guarantees that cut defects and let code be reasoned about without exhaustive tests. Examples use Scala Zed and HTTP for… | ||
| Formal Logic Undressed | Scala World 2015 | 2015-09-20 |
Workshop loads Coq and PeaCoq and encodes Knights-and-Knaves puzzles as propositions, then builds step‑by‑step proofs with tactics like destruct, intros and… | ||
| Type Systems - The Good, Bad and Ugly | Strange Loop 2014 | 2014-09-17 |
The claim "not all type systems are good" gets unpacked into a concrete comparison framework: an informal hierarchy and the Lambda Cube framework, tradeoffs… | ||
| nothing matches | ||