Vasco T. Vasconcelos

1. Foundations of Session Types and Behavioural Contracts
   2016/04/05 by Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos +9 · 3 citations
   Computer Science · #Logic, programming, and type systems #Advanced Software Engineering Methodologies #Formal Methods in Verification
2. Behavioral Types in Programming Languages
   2016/01/01 by Nobuko Yoshida, Vasco T. Vasconcelos, Luca Padovani +18 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Logic, programming, and type systems #Teaching and Learning Programming
3. System F^μ_ω with Context-free Session Types
   2023/01/20 by Diana Costa, Andreia Mordido, Costa, Diana +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL)