Nobuko Yoshida


AuthID: R-00M-0C5

Confirmed Publications: 3



1
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. A Tale of Two (Fully Abstract) Encodings  Full Text
AUTHORS: Toninho, B ; Yoshida, N ;
PUBLISHED: 2021, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 43, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2
TITLE: Featherweight Go
AUTHORS: Griesemer, R; Hu, R; Kokke, W; Lange, J; Taylor, IL; Toninho, B ; Wadler, P; Yoshida, N ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: OOPSLA
INDEXED IN: Scopus WOS DBLP CrossRef: 6
3
TITLE: Interconnectability of Session-Based Logical Processes  Full Text
AUTHORS: Toninho, B ; Yoshida, N ;
PUBLISHED: 2018, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 40, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 5

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service