addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

A group for people interested in learning more about the theory of programming languages and type systems. All experience levels are welcome, from beginning students to leading researchers. This is intended to be loosely connected to the internet study group: https://twitter.com/type_theory https://groups.google.com/forum/#!forum/type-theory-study-... https://github.com/type-theory However, we would like to eventually organize talks, ranging from introductory classes to research talks on topics relating to programming languages and type theory.

A GitHub Organization has been created to host code and web pages: https://github.com/Boston-PL

Join us and be the first to know when new Meetups are scheduled
Log in with Facebook to find out
By creating a Meetup account, you agree to the Terms of Service

Recent Meetups

What's new

 
Founded Dec 29, 2015

Help support your Meetup

Chip in

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy