Conal Elliott
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Steve Zdancewic19 talks
- Arthur Correnson5 talks
- Philip Wadler14 talks
- Stephan Boyer4 talks
- Jesper Cockx5 talks
- Bernd Finkbeiner2 talks
| title | conference | date |
|---|---|---|
| Timely Computation | ICFP 2023 | 2023-09-04 |
Defines a digital circuit as an analog circuit used in a disciplined way and formalizes that notion in Agda formalization, embedding discrete meanings into… | ||
| A Galilean revolution for computing | ZuriHac 2023 | 2023-06-10 |
Claim: computation achieves unboundedly scalable reliability and efficiency by making correctness machine-checkable and compositional. Approach uses dependent… | ||
| nothing matches | ||