2019-05-15: Guillaume Allais (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Guillaume Allais (MSP)

Getting the unifier on your side

Abstract

I will explain how to write practical generic n-ary functions and combinators for n-ary relations.

2019-05-15 16:00:00 UTC
LT1310