Elkins Park, PAUSA
October 1, 2013
Aaron Mansheim, twice speaker at Philly Lambda. Interests include dependent types as in the Coq proof assistant.
Help support your Meetup
Philly Lambda is a place where functional programmers from around the Philadelphia area can come and hang out and discuss FP and related topics, make some friends or maybe even get a job. The group was founded in 2006.
Meetup members, Log in