pith. sign in

We do this by showing that e0 − →∗ e ′ 0

We need to show that there exists aneh such that e0 − →∗ eh, e ′ 0 − →∗ eh

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

fields

cs.PL 1

years

2019 1

verdicts

UNVERDICTED 1

representative citing papers

Coherence of Type Class Resolution

cs.PL · 2019-07-01 · unverdicted · novelty 8.0

Formal proof of coherence for elaboration-based type class resolution via a two-step strategy using logical relations to preserve contextual equivalence.

citing papers explorer

Showing 1 of 1 citing paper.

  • Coherence of Type Class Resolution cs.PL · 2019-07-01 · unverdicted · none · ref 13

    Formal proof of coherence for elaboration-based type class resolution via a two-step strategy using logical relations to preserve contextual equivalence.