Search Results for author: Philip Wadler

Found 2 papers, 2 papers with code

Date Published Github Stars

Featherweight Go

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,048
Paper
Code

Gradual Session Types

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

0
Paper
Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy