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.
967 nlscrum members
3,639 Dutch Speakers
568 Product People
Meetup members, Log in