1 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming
Baltasar Trancón y Widemann, Markus Lepper
Implementing a complex concept as an executable model in a strongly typed, purely functional language hits a sweet spot between mere simulation and formal specification. For resear…
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation
Baltasar Trancón y Widemann, Markus Lepper
Paisley is a declarative lightweight embedded domain-specific language for expressive, non-deterministic, non-invasive pattern matching on arbitrary data structures in Java applica…
D2d -- XML for Authors
Markus Lepper, Baltasar Trancón y Widemann
D2d is an input format which allows experienced authors to create type correct xml text objects with minimal disturbance of the creative flow of writing. This paper contains the co…
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)
Baltasar Trancón y Widemann, Markus Lepper
XPath is a language for addressing parts of an XML document. We give an abstract interpretation of XPath expressions in terms of relations on document node types. Node-set-related…