
Registered user since Wed 1 Jul 2015
Name:Michael Greenberg
Country:United States
Affiliation:Stevens Institute of Technology
Personal website:https://mgree.github.io
Twitter:https://twitter.com/mgrnbrg
GitHub:https://github.com/mgree
Contributions
Haskell 2022 | How to Safely Use Extensionality in Liquid Haskell | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile