Japanese, Translation, and You!
LX: A Language for Flexible Type Analysis
LX: A Language for Flexible Type Analysis Stephanie Weirich Cornell University joint work with Karl Crary (CMU)