research
∙
12/22/2022
Towards a Theory of Conversion Relations for Prefixed Units of Measure
Units of measure with prefixes and conversion rules are given a formal s...
share
research
∙
08/28/2020
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming
Implementing a complex concept as an executable model in a strongly type...
research
∙
08/29/2019
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation
Paisley is a declarative lightweight embedded domain-specific language f...
research
∙
05/17/2019
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)
XPath is a language for addressing parts of an XML document. We give an ...
research
∙
05/17/2019