Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

OPCT 2019Author of A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic within the OPCT 2019-track
Show activities from other conferences

Using general profile