no code implementations • 3 Jun 2016 • Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive.
Programming Languages