June Meetup - Functional programming

We are finally back after a far too long break.

The first meeting of this year is now happening, and others are already in planning.

Come here the following talks:

OCaml killer apps by Vladimir Keleshev (@keleshev (https://twitter.com/keleshev))

Verifying QuickSort in Isabelle/HOL by Andreas H. From (@andreasfrom (https://twitter.com/andreasfrom))

How is type signature formed? by Marek Kubica (@leonidasfromxiv (https://twitter.com/leonidasfromxiv))

Tentative schedule:

• 18:00 Gather ‘round

• 18:05 First talk: OCaml Killer apps by Vladimir

• 18:35 Short break

• 18:40 Second talk: Verifying QuickSort in Isabelle/HOL by Andreas

• 19:10 Longer break with snacks

• 19:25 Third talk: How is type signature formed? by Marek

• 19:55 Socializing