Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming

von Widemann, Baltasar Trancón y
Veröffentlicht in WFLP (28. : 2020 : Online) Functional and constraint logic programming (2021)

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

von Widemann, Baltasar Trancon y
Veröffentlicht in DECLARE (2019 : Cottbus) Declarative programming and knowledge management (2020)

Towards a Theory of Conversion Relations for Prefixed Units of Measure

von Widemann, Baltasar Trancón y
Veröffentlicht in International Conference on Relational and Algebraic Methods in Computer Science (20. : 2023 : Augsburg) Relational and algebraic methods in computer science (2023)