Author

Date Item Type No Grouping

Article

Featherweight Go. (2020) Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler and Nobuko Yoshida

Conference or Workshop Item

Statically Verified Refinements for Multiparty Protocols. (2020) Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova and Nobuko Yoshida picture_as_pdf