Functional programming languages are declarative, meaning that a computation’s logic is expressed without describing its control flow. In declarative programming, there are no statements.

The Logic and Functional Programming Group was formally established in 1990 as an independent research group. It is a strong interdisciplinary group comprising members from numerous SFU units, two UBC ...

¹ One of the “functional programming myths” I wrote about before is that “functional programming” is well-defined. It isn’t, and, even if we gave it a definition, the name would be a ...

Answer Set Programming (ASP) and Logic Programming represent key paradigms in contemporary computer science, particularly in the field of artificial intelligence. ASP is a form of declarative ...

My general research interests are in the logic, semantics, and implementation of programming languages. In particular, I am interested in using logic to help design and verify that software systems ...

The miniKanren Confo is a special 4 hour conference about logic programming (in particular miniKanren). Dan Friedman and Will Byrd (co-authors of the Reasoned Schemer) will provide a keynote.

Flix, an open-source programming language inspired by many programming languages, enables developers to write code in a functional, imperative or logic style. Flix looks like Scala, uses a type syste ...

Many developers get intimidated when they look at all the new APIs that accept lambda expressions as arguments, and wonder how they’ll ever figure out which Java function to use and what the proper ...

Research from all publishers Recent advancements in ASP and Logic Programming have focussed on enhancing solver performance and broadening practical applicability. Notably, research into Abductive ...