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-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Andres L.


Hometown: Lübeck

Member since:

September 7, 2013


What's your familiarity with Functional Programming?

I am using Haskell since 1997. I have been doing research into functional programming languages and Haskell in particular for several years. In 2010, I joined Well-Typed LLP. I am now working on Haskell code for our clients and coordinating our Haskell training activities.

Which languages / technologies are most interesting for you?

I'm most interested in Haskell and in dependently-typed programming languages such as Agda, Coq, Idris, ... The topics that most interest me are: the type system and type-level programming; modularity and reuse, in particular (datatype-)generic programming; (embedded) domain-specific languages; compiler construction; parallel programming.

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



I am a partner and Haskell Consultant at Well-Typed LLP. I am based in Regensburg, Germany.

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