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[…]