3 code implementations • 24 May 2020 • Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler.
Programming Languages Logic in Computer Science
1 code implementation • 15 Sep 2018 • Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
We propose Gradual GV as a gradually typed extension of the functional session type system GV.
Programming Languages