Registered user since Tue 5 Jan 2016
Name: Alejandro Serrano
Country: Netherlands
Affiliation: 47 Degrees, Spain
Personal website: https://www.47deg.com/team/alejandro-serrano/
Research interests: Functional Programming, Haskell, Type Theory, Programming Languages, Domain-Specific Languages
Contributions
| ICFP 2020 | Author of A Quick Look at Impredicativity within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile