chrisamaphone

Personal information


Graduate student at CMU.


logic programming, dependent types, logical frameworks

History


13 years 39 weeks