
Registered user since Fri 15 Jan 2016
Name:Alejandro Russo
Country:Argentina
Affiliation:Chalmers University of Technology, Sweden
Personal website:http://www.cse.chalmers.se/~russo/
Research interests:Security, Functional Programming, Systems, Type systems, Semantics
Contributions
Haskell 2021 | Practical Normalization by Evaluation for EDSLs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile