Login / Signup

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel BrachthäuserPhilipp SchusterEdward LeeAleksander Boruch-Gruszecki
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • data sets
  • image segmentation
  • feature extraction
  • multiscale
  • negative effects
  • information retrieval
  • learning algorithm
  • cooperative
  • control system
  • object oriented
  • multiple types
  • computer based instruction