pith. sign in

In other words, there does not exist infinite sequences of๐œ-free transitions

is an active configuration whose next transition is a (PA) transition, andC โ€ฒ 2 (orC โ€ฒ 1, resp

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

2026 1

verdicts

CONDITIONAL 1

representative citing papers

Contextual MetaML: Syntax and Full Abstraction

cs.PL ยท 2026-02-03 ยท conditional ยท novelty 8.0

Contextual MetaML adds contextual modal types for type-safe handling of open code and proves the first full abstraction result for an imperative MetaML-style language via operational game semantics traces.

citing papers explorer

Showing 1 of 1 citing paper.

  • Contextual MetaML: Syntax and Full Abstraction cs.PL ยท 2026-02-03 ยท conditional ยท none ยท ref 8

    Contextual MetaML adds contextual modal types for type-safe handling of open code and proves the first full abstraction result for an imperative MetaML-style language via operational game semantics traces.