Thank you for writing this proof of concept paper. Do you think CMU is a school that enhanced your ability to do projects like this, or did you know how to do t

Thank you for writing this proof of concept paper. Do you think CMU is a school that enhanced your ability to do projects like this, or did you know how to do this before you went to CMU or did you learn crucial stuff to accomplish it there ? I studied at Rice University under Ken Kennedy and it was a great place to learn about compilation techniques and processes. Corky Cartwright was also instrumental in learning about abstract datatypes especially in the Strachey-Scott formal views.