A Type System that Reconciles Classes and Extents
Peter Buneman, Atsushi Ohori
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Peter Buneman, Atsushi Ohori
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution