Room: BBL room 471
Speaker: Gerbo Engels
Title: Curry, A Truly Integrated Functional Logic Language
The declarative programming world is roughly divided into two groups:
functional and logic programming. While both have their unique features
(like higher-order programming vs. free variables), they share a way of
reasoning and have a certain common 'feeling'. So there have been
several approaches to combine functional and logic programming into a
single language, with Michael Hanus' Curry being one of them.
In this colloquium talk we'll peek at the features Curry offers, as well
as some implementations and difficulties of Curry.