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
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification

Contributions

SPLASH 2019 Refinement Kinds: Type-safe Programming with Practical Type-level Computation
Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
Show activities from other conferences

SPLASH 2019-profile
View general profile