addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Paul M.


Mountain View, CA
Hometown: Mountain View

Member since:

September 26, 2012


How familiar are you with category theory?

Just a little.

How familiar are you with type theory?

A little more.

How's your functional programming level?

I worked with John Backus in[masked], but didn't get back to functional programming until I learned some Haskell a few years ago.


I am interested in programming languages that support the style of polymorphism that my coauthor Alexander Stepanov and I used in the book _Elements of Programming_. We simulated something like Haskell type classes in C++, but wished for more ...

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