addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Jack F.

Location:

Danville, CA
Hometown: Danville

Member since:

February 22, 2014

How familiar are you with category theory?

Some familiarity derived from professional functional programming with F#.

How familiar are you with type theory?

Read "Programming in Martin-Löf's Type Theory" and TT chapter and appendices in HoTT book.

How's your functional programming level?

Professional functional programming with F#.

Introduction

Recently got interested in the Oregon Programming Languages Summer School lectures http://www.cs.uor...­ and the HoTT Book http://homotopyty...­


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