addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

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

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