Milod Kazerounian | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Niki Vazou
15 publications
David Van Horn
14 publications
Jeffrey S. Foster
8 publications
Sankha Narayan Guria
4 publications
Emina Torlak
2 publications
Austin Bourgerie
1 publication

research

∙ 04/06/2019

Type-Level Computations for Ruby Libraries

Many researchers have explored ways to bring static typing to dynamic la...

0 Milod Kazerounian, et al. ∙

research

∙ 11/25/2017

Refinement Types for Ruby

Refinement types are a popular way to specify and reason about key progr...

0 Milod Kazerounian, et al. ∙