addressalign-toparrow-leftarrow-leftarrow-right-10x10arrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmediummessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahooyoutube
Meetup stands with the Black community. We must come together to end racial injustice. Learn how to get involved on Meetup.

SF Types, Theorems, and Programming Languages Message Board Textbooks We Have Worked Through › Pass through PLFA starting May 2019

Pass through PLFA starting May 2019

Adrian K.
user 13024413
Group Organizer
El Cerrito, CA
Post #: 32
Philip Wadler's "Programming Language Foundations in Agda" (https://plfa.github.i...­.

Start, 13 May 2019: https://www.meetup.co...­

Chapter 1: Naturals, 10 June 2019: https://www.meetup.co...­

Chapter 2: Induction, 24 June 2019: https://www.meetup.co...­

Chapter 3: Relations, 8 July 2019: https://www.meetup.co...­

Chapter 4: Equality, 22 July 2019: https://www.meetup.co...­

Chapter 5: Isomorphism, 5 August 2019: https://www.meetup.co...­

Chapter 6: Connectives, 19 August 2019: https://www.meetup.co...­

Chapter 7: Negation, 29 August 2019: https://www.meetup.co...­

Chapter 8: Quantifiers, 16 September 2019: https://www.meetup.co...­

Chapter 9: Decidable, 30 September 2019: https://www.meetup.co...­

Chapter 9: Decidable (second attempt), 14 October 2019: https://www.meetup.co...­

Chapter 10: Lists, 28 October 2019: https://www.meetup.co...­

Chapter 11: Lambda, 27 January 2020: https://www.meetup.co...­

Chapter 12: Properties, 10 February 2020: https://www.meetup.co...­

Chapter 13:, DeBruijn, 16 March 2020: https://www.meetup.co...­

Chapter 14: More, 30 March 2020: https://www.meetup.co...­

Chapter 15: Bisimulation, 13 April 2020: https://www.meetup.co...­

Chapter 16: Inference, 27 April 2020: https://www.meetup.co...­

Upcoming:

Chapter 17: Untyped, 11 May 2020: https://www.meetup.co...­
Powered by mvnForum

People in this
group 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