Login / Signup

Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters.

Joshua HoeflichRobert Bruce FindlerManuel Serrano
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • multiple types
  • supply chain
  • data structure
  • real world
  • search engine
  • metadata
  • three dimensional
  • artificial neural networks
  • wireless sensor networks
  • special features