Registered user since Thu 27 Aug 2015
Name: Hugo 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
| BEAT 2019 | Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile