Hang out + short talk (Dependently Typed Lists by Jinxuan Zhu)

Name: Hang out + short talk (Dependently Typed Lists by Jinxuan Zhu)
Start: 2019-02-23T13:00:00-05:00
End: 2019-02-23T19:00:00-05:00
Location: Sentenai

Hosted By

Mitchell R. and 3 others

Hang out + short talk (Dependently Typed Lists by Jinxuan Zhu)

Details

Weekly informal functional programming meeting

Thank you to Sentenai for sponsoring!

Events in Boston, MA

Boston Functional Programming

See more events

Boston Functional Programming

Saturday, February 23, 2019 at 1:00 PM to Saturday, February 23, 2019 at 7:00 PM EST

Sentenai

294 Washington St Ste 1150 · Boston, MA

Boston Functional Programming

public group

Hang out + short talk (Dependently Typed Lists by Jinxuan Zhu)