Allister Beharry
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 4 in the filters
on a stage with
never shared a talk
who talks about the same things
- Alexander J. Summers13 talks
- Marco Eilers4 talks
- Ranjit Jhala19 talks
- Hari3 talks
- Jon Stephens4 talks
- Lars Hupel11 talks
| title | conference | date |
|---|---|---|
| A Functional EDSL for Economics Concepts & Models | Functional Conf 2025 | 2025-01-24 |
An F# embedded DSL called Sylvester EDSL integrates Maxima, Z3, Gambit and JSXGraph (Maxima Z3 Gambit JSXGraph) into a single notation for symbolic algebra… | ||
| Demo: A functional EDSL for mathematics visualization that compiles to JavaScrip... | FARM 2023 | 2023-09-08 |
Sylvester is an F# embedded EDSL that compiles F# quotations to JavaScript in a Jupyter kernel and provides one functional interface for symbolic math, SMT… | ||
| Formal verification of C# smart contracts | NDC Oslo 2022 | 2022-09-26 |
Shows concrete verification of C# smart contracts on Stratis using the Silver static analyzer and Spec#-style annotations rewritten via Roslyn into a Boogie… | ||
| Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk) | ML 2021 | 2021-08-26 |
Claim: F# becomes a single interactive language that unifies computer algebra and theorem proving. Built is the Sylvester library running in Jupyter/VS Code… | ||
| nothing matches | ||