Browsing by Author "Hu, Raymond"

Now showing items 1-2 of 2

    • Featherweight Go 

      Griesemer, Robert; Hu, Raymond; Kokke, Wen; Lange, Julien; Taylor, Ian Lance; Toninho, Bernardo; Wadler, Philip; Yoshida, Nobuko (2020-11-13)
      We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined ...

    • Statically Verified Refinements for Multiparty Protocols 

      Zhou, Fangyi; Ferreira, Francisco; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko (2020-11-20)
      With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typing discipline for message-passing concurrency, ...