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

Miëtek B.

Location:

Cambridge
Hometown: Poznan

Member since:

November 7, 2012

Networks

Do you use any functional (or otherwise esoteric) programming languages for work?

Yes

What programming languages are you interested in?

Strongly normalising dependently typed lambda calculi

Introduction

Functional programmer


Our Sponsors

  • O'Reilly

    * Review copies of books * 40% off printed books and 50% on e-books

  • Metail

    Supporting costs of this Meetup, venue and drinks at many events.

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