pith. sign in

By Lemma 19, this trace contains at most dep(𝑀 𝑖 ) (QB) actions, where 𝑀𝑖 is the term in the active configuration

by one, we know that the trace starting fromC 𝑖 1 andC 𝑖 2 always contains at least as many Layered Modal ML: Syntax, Full Abstraction Conference’17, July · 2017

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 12

    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.