Nihil Shah
where else to find them
what they talk about
where they keep going back
- LambdaConf2 editions2018–2019
on a stage with
never shared a talk
who talks about the same things
- Pascal Voitot4 talks
- Markus Hauck5 talks
- Alexander Konovalov8 talks
- Alistair Fisher3 talks
- Edmund Noble3 talks
- Jeremy Gibbons7 talks
| title | conference | date |
|---|---|---|
| Environmental Dependencies as Coeffects | LambdaConf 2019 | 2019-06-05 |
Claim: environmental dependencies become coeffects modeled as indexed comonads and encoded with type-level monoids. Implementation: a Haskell prototype uses… | ||
| Cofree Comonads and their Uses | LambdaConf 2018 | 2018-06-03 |
Defines cofree comonads as a product type that annotates trees and streams and shows concrete encodings: stream = cofree over Identity, prefix list = cofree… | ||
| nothing matches | ||