research
∙
03/09/2023
Transport via Partial Galois Connections and Equivalences
Multiple types can represent the same concept. For example, lists and tr...
share
research
∙
12/16/2022
Rewriting the Infinite Chase
Guarded tuple-generating dependencies (GTGDs) are a natural extension of...
research
∙
07/26/2022
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space
Worldwide, computer science departments have experienced a dramatic incr...
research
∙
11/09/2019