Budapest Chapter

Do you want to talk about a recent paper that you are excited about? Do you want to explain fundamental papers of your field to a wider audience? Do you want to (re-)discover important research works in computer science? Do you have this really cool paper you want to tell us about? Present the papers that you love, tell us about how you've implement them and use them, or simply listen and discuss!

We follow the Papers We Love Code of Conduct.

If you want to give a talk please create an issue so we can discuss the details.

Chapter details

Sign-up: Please RSVP for meetings via Meetup


Chapter Meetups

Typed Self-Evaluation via Intensional Type Functions, Brown&Palsberg -Érdi Gergő

Date/Time: 2017-09-21 06:30pm Location: EPAM Meetup Room - Budapest

Gergő will be presenting Brown & Palsberg's paper from POPL 2017: "Typed Self-Evaluation via Intensional Type Functions"


We can easily make a typed representation for STLC in Haskell, and then write an evaluator over that representation. But can we write that in STLC? Or can we write it in Haskell, but for Haskell itself?

This paper is in some sense a sequel to last year's "Breaking Through the Normalization Barrier" by the same authors; that one was about self-unquoting of the form

unquote : Exp t -> t

This one is about self-reduction of the form

reduce : Exp t -> Exp t

(with the result encoding a normal form)

In both cases, the question we are interested in is, can we arrange for the host and the target language to coincide?


Read more about this Meetup

Károly Lőrentey on "Red-black trees in a functional setting" by Chris Okasaki

Date/Time: 2017-07-13 07:00pm Location: LogMeIn Collab Space - Budapest

Hi Everybody,

Our second meetup will on the 13th of July (Thursday). We start at 19:00, and the doors will open at around 18:30-18:45. It will be again hosted by our friends at LogMeIn.

This time Károly Lőrentey will hold a presentation from Chris Okasaki's "Red-black trees in a functional setting" paper.


Everybody learns about balanced binary search trees in their introductory computer science classes, but even the stouthearted tremble at the thought of actually implementing such a beast. The details surrounding rebalancing are usually just too messy. To show that this need not be the case, we present an algorithm for insertion into red-black trees (Guibas & Sedgewick, 1978) that any competent programmer should be able to implement in fifteen minutes or less.

You can find it here:

Okasaki, C. (1999). Red-black trees in a functional setting. Jour…

Read more about this Meetup

BP-HUG/PWL - The essence of functional programming

Date/Time: 2017-03-02 07:15pm Location: LogMeIn Collab Space - Budapest

Hi Everybody,

Update: We'll start a bit later than planned. There will be another event before ours, so come at 19 o'clock at the earliest, and we start around 19:15!

I started it, so it's only fair that I should give the first presentation in this meetup.:)

My talk will be based on Philip Wadler's The essence of functional programming paper.


"This paper explores the use monads to structure functional programs. No prior knowledge of monads or category theory is required. 

Monads increase the ease with which programs may be modified. They can mimic the effect of impure features such as exceptions, state, and continuations; and also provide effects not easily achieved with such features. The types of a program reflect which effects occur. 

The first section is an extended example of the use of monads. A simple interpreter is modified …

Read more about this Meetup