no code implementations • 20 Jan 2021 • Mario Bravetti, Julien Lange, Gianluigi Zavattaro
an unbounded amount of consumptions: to this aim we propose to consider fair compliance over asynchronous session types and fair refinement as the relation that preserves it.
Programming Languages Logic in Computer Science
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