November 20, 2012
Haskell, Agda, Coq, OCaml
Static program analysis tools
Ph.D. candidate in Computer Science at Utrecht University
FP AMS aims to bring together commercial users of functional programming. We want to support and promote functional technologies in the Dutch software industry.
Topics for future meetings could include,
Location, drinks & general support
Location & Drinks
Location, food & drinks
40% discount on printed books and 50% on e-books, code: DSUG.
3,865 Dutch Speakers
986 Dutch startup community
Meetup members, Log in