• Sign in
  • Sign up
conf.researchr.org / Allister Beharry
  • ICFP 2021 profile
  • ICFP 2023 profile
Allister Beharry

Registered user since Thu 1 Jul 2021

Name:Allister Beharry
Country:Trinidad and Tobago
Affiliation:University of London
X (Twitter): https://x.com/allisterbeharry
GitHub: https://github.com/allisterb

Contributions

2023

FARM

  • Author of Demo: A functional EDSL for mathematics visualization that compiles to JavaScript within the FARM 2023-track

2021

ML

  • Author of Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk) within the ML 2021-track
Share
xMon 3 Nov 17:04
using conf.researchr.org (v1.72.1)
Support page
Sign Up