ICFP 2021
Sun 22 - Sat 28 August 2021
Manuel Chakravarty

Registered user since Thu 3 Mar 2016

Name:Manuel Chakravarty
Bio:

Manuel M T Chakravarty published extensively on programming languages, compilers, and high-performance computing. He contributed to both the design and implementation of the Haskell programming language (most notably, type families, associated types, and the foreign function interface) as well as several Haskell tools and open source libraries. He used to be an Associate Professor at UNSW Sydney, but with the increasing adoption of functional programming in industry, he shifted his focus to unlocking new application areas for functional programming and helping development teams reap the benefits of modern programming language technology. He is currently a functional programming expert at Tweag and a researcher & architect of smart contract technology at IOHK.

Country:Netherlands
Affiliation:Tweag & IOHK
Personal website:http://justtesting.org

Contributions

TyDe 2021 Translation Certification for Smart Contracts (Extended Abstract)
Show activities from other conferences

Using general profile