Type-level computations for Ruby libraries.

Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn

Browse the full PLDI paper archive.