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-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Wouter S.

Location:

Amsterdam

Member since:

April 23, 2013

What (functional) programming languages do you use?

Agda, Coq, Haskell, OCaml

What kind of stuff do you build (e.g. web, embedded, mobile, financial services, etc.)?

Research papers

What is the name of your company or organization?

Universiteit Utrecht

Introduction

Lecturer at the University of Utrecht


Our Sponsors

  • TruQu

    Location, drinks & general support

  • B. Amsterdam

    Location

  • O'Reilly

    40% discount on printed books and 50% on e-books, code: DSUG.

  • Q42

    Location & Drinks

  • Silk

    Location & Drinks

  • Trifork

    Location, food & drinks

  • TTY

    Location & Drinks

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