SPLASH 2019 (series) / Luís Caires
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
| SPLASH 2019 | Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile