Omar_Programmable_JA.pdf Download Tags: bidirectional typechecking CMU foreign function interfaces Jan'17 metaprogramming pattern matching License: Creative Commons 2.5 Submitted by Jamie Hagerty on Wed, 12/07/2016 - 11:07