Items where Author is "Yoshida, Nobuko"

Number of items: 2.
  • Featherweight Go. (2020) Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler and Nobuko Yoshida
  • Statically Verified Refinements for Multiparty Protocols. (2020) Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova and Nobuko Yoshida picture_as_pdf
    • This list was generated on Mon Aug 24 02:09:36 2026 BST.