Crossmark

Refinement Types for Ruby

Crossref DOI link: https://doi.org/10.1007/978-3-319-73721-8_13

Published Online: 2017-12-29

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kazerounian, Milod

Vazou, Niki

Bourgerie, Austin

Foster, Jeffrey S.

Torlak, Emina
License Information

License valid from 2017-12-29