Manuel E.

Location:

München

Member since:

August 5, 2013

What's your familiarity with Functional Programming?

Good knowledge of Standard ML, Haskell, Isabelle/HOL; cursory knowledge of OCaml, Scala and Idris.

Which languages / technologies are most interesting for you?

Haskell, Isabelle/HOL, combination of programming and theorem proving in general

Would you be interested to speak on one of the meetups?

Perhaps.

Introduction

Computer science/maths student at TU München, addicted to formal proofs/interactive theorem proving and Earl Grey


No Photo

Interests

  • Not yet added

Our Sponsors

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