Sign in

Refinement Types for Ruby.

Milod KazerounianNiki VazouAustin BourgerieJeffrey S. FosterEmina Torlak
Published in: VMCAI (2018)
Keyphrases
  • programming language
  • databases
  • machine learning
  • decision making
  • general purpose