Today, I updated the Grapefruit FRP library once again. The main improvements are as follows:

Grapefruit is now compatible with GHC 8.0.1.

The GTK+ UI backend of Grapefruit uses GTK+ 3 now. Continue reading
Today, I updated the Grapefruit FRP library once again. The main improvements are as follows:
Grapefruit is now compatible with GHC 8.0.1.
The GTK+ UI backend of Grapefruit uses GTK+ 3 now. Continue reading
Yesterday, I updated the Grapefruit FRP library once again, this time to make it compatible with GHC 7.8. Continue reading
One of the most important ingredients of Haskell is its type system. Standard Haskell already provides a lot of useful mechanisms for having things checked at compile time, and the language extensions provided by the Glasgow Haskell Compiler (GHC) improve heavily on this.
In this article, I will present several of Haskell’s type system features. Some of them belong to the standard, others are only available as extensions. This is a writeup of a talk I gave on 31 January 2013 during the Theory Lunch of the Institute of Cybernetics. This talk provided the basics for another Theory Lunch talk, which was about the Constraint
kind. Continue reading
Yesterday I finished my new paper Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories, which will appear in the proceedings of PLPV ’13 and is also available online. I have already given two talks on topics of this paper, one at the Joint Estonian–Latvian Theory Days at Medzābaki and another one at the Theory Seminar of the Institute of Cybernetics. Continue reading
My MFPS ’12 paper Towards a Common Categorical Semantics for LinearTime Temporal Logic and Functional Reactive Programming has just been officially published by Elsevier. Continue reading
MFPS took place a month ago, and today I finally managed to publish the slides of my talk ;). The topic of these slides is similar to the topic of the seminar talk I gave at 10 May, but the overlap is not too large. So you might be interested in having a look.
I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was Categorical Models for Two Intuitionistic Modal Logics. Continue reading