Wouter S.



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


Lecturer at the University of Utrecht

Our Sponsors

  • TruQu

    Location, drinks & general support

  • Q42

    Location & Drinks

  • Silk

    Location & Drinks

  • Trifork

    Location, food & drinks

  • O'Reilly

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

  • TTY

    Location & Drinks

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