Skip to content

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.

Matteo Cimini

Year2020
ProceedingsFLOPS

Browse the full FLOPS paper archive.