conf.researchr.org / Dylan Thinnes
Registered user since Sun 3 Sep 2023
Name:Dylan Thinnes
Bio:
Dylan is a software engineer working on the Daml compiler team at Digital Asset. Before that, he was using Clash to build machine learning accelerators at Myrtle.AI.
Country:United Kingdom
Affiliation:Digital Asset
Personal website: https://dylant.org
Research interests:Programming Languages, Functional Programming, Type Theory
Contributions