External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Refinement Types for Ruby

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak. Refinement Types for Ruby. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 269-290, Springer, 2018. [doi]

Authors

Milod Kazerounian

This author has not been identified. Look up 'Milod Kazerounian' in Google

Niki Vazou

This author has not been identified. Look up 'Niki Vazou' in Google

Austin Bourgerie

This author has not been identified. Look up 'Austin Bourgerie' in Google

Jeffrey S. Foster

This author has not been identified. Look up 'Jeffrey S. Foster' in Google

Emina Torlak

This author has not been identified. Look up 'Emina Torlak' in Google
runs on