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

Matthew F.

Location:

Bridgetown
Hometown: Totnes

Member since:

November 12, 2012

Do you use any functional (or otherwise esoteric) programming languages for work?

Haskell, F#, ML, C#

What programming languages are you interested in?

Haskell, F#, ML, Epigram

Introduction

I'm a mathematician, computer scientist and software design consultant. My interest in functional programming dates from my undergraduate days. I've researched proof theory, logical complexity, Lax Logic and formal verification. I now develop in F#.


Our Sponsors

  • O'Reilly

    * Review copies of books * 40% off printed books and 50% on e-books

  • Metail

    Supporting costs of this Meetup, venue and drinks at many events.

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