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:
11 years 1 week