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 | Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile