Adding Data to Curry

von Hanus, Michael
Veröffentlicht in DECLARE (2019 : Cottbus) Declarative programming and knowledge management (2020)

Memoized Pull-Tabbing for Functional Logic Programming

von Hanus, Michael
Veröffentlicht in WFLP (28. : 2020 : Online) Functional and constraint logic programming (2021)