Edward Kmett
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Aaron W Hsuonce
- Andrea Leopardionce
- Bruce Tateonce
who talks about the same things
- Nada Amin26 talks
- Philip Wadler14 talks
- Pawel Szulc28 talks
- Nicolas Wu25 talks
- Steve Zdancewic19 talks
- Simon Peyton Jones26 talks
| title | conference | date |
|---|---|---|
| Logic Programming à la Carte | Functional Conf 2019 | 2019-11-13 |
A Haskell logic programming framework guanxi (關係) combines MiniKanren style relational search with SMT/SAT tactics and propagators to scale synthesis; a Scheme… | ||
| Functional Conf 2019 - Bengaluru, India | Nov. 13-17 | Functional Conf 2019 | 2019-11-13 |
Functional Conf 2019 is Asia's premiere Functional Programming conference.
This year's keynote speakers are:
- Edward Kmett, Chairman @ Haskell Core Libraries… | ||
| Propagators | Functional Conf 2019 | 2019-11-13 |
Defines propagators as monotone functions between join-semilattices and proves termination and deterministic results under simple sufficient conditions like… | ||
| Opening Keynote | Lambda World Seattle 2018 | 2018-09-17 |
Maps concrete parsing and edit problems onto algebraic structures between semigroups and groups, claiming inverse semigroup laws give useful normal forms… | ||
| Monoidal Parsing | Scala World 2017 | 2017-09-16 |
Claim: small language tweaks let an editor parse chunkwise and update names and errors quickly. Built a Haskell prototype and VSCode language-server wiring… | ||
| nothing matches | ||