Login / Signup

Simplifying explicit subtyping coercions in a polymorphic calculus with effects.

Filip KoprivecMatija Pretnar
Published in: CoRR (2024)
Keyphrases
  • databases
  • case study
  • type checking
  • data sets
  • real world
  • negative effects
  • automated deduction