![Hugo A. López](https://popl19.sigplan.org/getProfileImage/hugoalopez/a4b07c6c-89a0-4935-a9b4-efb79383bd26/small.jpg?1717827364000)
Registered user since Thu 27 Aug 2015
Name:Hugo A. López
Country:Colombia
Affiliation:IT University of Copenhagen, Denmark & DCR Solutions A/S
Personal website: http://hugo.lopezacosta.net
Research interests:Concurrency Theory, Type Theory, Semantics of Programming Languages
Contributions
POPL 2019-profile
View general profile
View general profile