Tag
A blog post discussing evaluation order and nontermination in functional relational query languages like λFS, referencing a paper on finite functional programming presented at FLOPS 2026.