Embedding Functional Logic Programming in Haskell via a Compiler Plugin.

Sun, 01 Jan 2023 00:00:00 +0100

Kai-Oliver Prott , Finn Teegen , Jan Christiansen :
Embedding Functional Logic Programming in Haskell via a Compiler Plugin. PADL 2023: 37-55