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

Note: Due to the winter storm in Houston, we've rescheduled this talk for the following week at Wed 2/24 at[…]

OCaml Café offers a friendly, low stakes opportunity to ask questions about the OCaml language and ecosystem, work through programming[…]