This month Gyan Aggarwal will present a talk on the paper “Pure Operation-Based Replicated Data Types” by Carlos Baquero, Paulo[…]

Join us Wednesday February 19, 2020 at 7:00 pm for an introduction to the Erlang programming language and its run-time[…]

I am excited to announce that our virtual guest this month will be Steven Proctor, the host of the Functional[…]

I am excited to announce that Sean T. Allen will be joining us to provide an informal introduction to the[…]

I am excited to welcome Jean Yang as our guest for our meetup this Wednesday, June 17 at 7 pm[…]

Please join us this Wednesday night at 7 pm CDT when John Cavnar-Johnson will discuss "That's so META", a talk[…]

This month, we'll be having office hours in lieu of a speaker. This is a chance to show off works-in-progress,[…]

Functional Python Programming and Verified Functional Programming in Agda are both books teaching functional programming.  Yet the books are about[…]

What is functional programming? Sure, there are academic answers, but is there a good definition that encompasses all that we[…]

In lieu of a speaker, we will gather online for end-of-the-year merrymaking.  BYOB! Connection information is below.

OCaml is a strongly-typed functional programming language with type-inference, born in France at INRIA. One particularity of OCaml is that[…]

Join us with your questions about the OCaml language, or just to hang out with the OCaml community. Especially geared[…]