Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Manuel M. T. Chakravarty
conf.researchr.org general profile
FLOPS 2022 profile
ICFP/SPLASH 2025 profile
Registered user since Fri 25 Feb 2022
Name:
Manuel M. T. Chakravarty
Country:
Netherlands
Affiliation:
IOHK
Contributions
2025
Haskell
Author of Plinth: A Plugin-Powered Language Built on Haskell (Experience Report) within the Haskell 2025-track
2022
FLOPS
Author of Translation Certification for Smart Contracts within the FLOPS 2022-track
Share
x
Sat 25 Oct 11:59