Refinement Types for Ruby.

Milod Kazerounian Niki Vazou Austin Bourgerie Jeffrey S. Foster Emina Torlak

Published in: VMCAI (2018)

Keyphrases

programming language
databases
machine learning
decision making
general purpose