Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Luís Caires

Registered user since Fri 27 Apr 2018

Name: Luís Caires

Country: Portugal

Affiliation: Universidade Nova de Lisboa and NOVA LINCS

Personal website: http://ctp.di.fct.unl.pt/~lcaires/

Research interests: Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification

Contributions

SPLASH 2019Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA Artifacts-track
Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA-track
Show activities from other conferences

Using general profile