Nobuko Yoshida


AuthID: R-00M-0C5

Publicações Confirmadas: 3



1
TÍTULO: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings  Full Text
AUTORES: Toninho, B ; Yoshida, N ;
PUBLICAÇÃO: 2021, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 43, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2
TÍTULO: Featherweight Go
AUTORES: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: OOPSLA
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
3
TÍTULO: Interconnectability of Session-Based Logical Processes  Full Text
AUTORES: Toninho, B ; Yoshida, N ;
PUBLICAÇÃO: 2018, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 40, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 6

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service