Amos Robinson
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Alex Potaninonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Pipit: Reactive Systems in F★ (Extended Abstract) | TyDe 2023 | 2023-09-04 |
Pipit is a small embedded DSL in F★ that implements reactive streams with Follow by delays and guarded recursion, provides a verified translation to transition… | ||
| nothing matches | ||