29 citations · 145 across the 25 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017
Higher-order Cons-free Interpreters
Cynthia Kop, Jakob Grue Simonsen
Constructor rewriting systems are said to be cons-free if any constructor term occurring in the rhs of a rule must be a subterm of the lhs of the rule. Roughly, such systems cannot…
cs.IR2017
Evaluation Measures for Relevance and Credibility in Ranked Lists
Christina Lioma, Jakob Grue Simonsen, Birger Larsen
Recent discussions on alternative facts, fake news, and post truth politics have motivated research on creating technologies that allow people not only to access information, but a…
cs.CC2017★ 2 cited
The Power of Non-Determinism in Higher-Order Implicit Complexity
Cynthia Kop, Jakob Grue Simonsen
We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders,…