Compiling a Dependently Typed Language to Ruby

Compiling a Dependently Typed Language to Ruby

A.K.A. "Compilers Are Dope And Also A Little Bit About Fancy Types"

25ee17e694c4590abcc3c1e3c628724b?s=128

Michael Bernstein

June 12, 2015
Tweet