Join us for this November talk at LogPoint! Dependent types modulo phase distinction by Joachim Tilsted Kristensen PhD Research Fellow https://t.co/1O3sSm3zEY

Join us for this dual talk @famlyhq! Talk 1: Functional Domain Modelling By Anders Marchsteiner, Staff Engineer Talk 2: Automatic SQL query building with type classes By Christian Harrington, Engineering Director #Scala #functionalprogramming https://t.co/pm8TDVlAXi

Async/await inference in Firefly: Part 2 https://t.co/EYIG0whdnC

Brand new `async` inference for #firefly

Our own co-founder, @Continuational, is giving a talk on "Generic Programming" (not to be confused with Java Generics), for the upcoming talk MF#K next week: https://t.co/xkhjsNNSRa As usual, "kom glad"

Working on a programming language :)

Row polymorphism crash course

Type Inference by Example, Part 6

Type Inference by Example, Part 5

Type Inference by Example, Part 4

Type Inference by Example, Part 3

Type Inference by Example, Part 2

Type Inference by Example https://t.co/6ejf5py83a #tryingtoblogagain

What if there was a functional language through which you could SSH into a server, grap a file, fill in some data from the internet and then create a live graphical plot of the result that changes whenever the file is written to? Well, now there is! #mfk

Simon Marlow is giving a talk in Copenhagen - join us! 🗓️April 25 @simonmar #Haskell #BigData #mfk

By @BrianHjoellund

[Brian Hjøllund] F# at Unity, 5th anniversary of MFF#K https://t.co/EHLKcdmplF #fsharp @unity3d

https://t.co/Qz16HJrUD5

New React4s site: https://t.co/OkJ5B3cPgM #react4s #scala #scalajs

Thank you for some great talks & beer talk tonight @evelgab & @brandewinder! Hope to see you soon #mffk #copenhagenr @genTauro42