chrisamaphone | Lambda the Ultimate

chrisamaphone

view
track

Personal information

Gender:
female

Biography:

Graduate student at CMU.

Interests:

logic programming, dependent types, logical frameworks

History

Member for:
12 years 5 weeks