Registered user since Fri 27 Apr 2018
Name:Luís Caires
Country:Portugal
Affiliation:NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
Personal website:http://ctp.di.fct.unl.pt/~lcaires/
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification
Contributions
| OPCT 2019 | A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile