A type system with types over normal forms and a decidable complement operator via subtyping is sound and complete, deriving refutation principles to certify incorrectness in functional programs.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
Applies established negative and fractional type dualities to the authors' existing NTU framework to enable new resolution forms in specialized compute modalities.
citing papers explorer
-
A Complementary Approach to Incorrectness Typing
A type system with types over normal forms and a decidable complement operator via subtyping is sound and complete, deriving refutation principles to certify incorrectness in functional programs.
-
Negative and Fractional Types in the Fidelity Framework
Applies established negative and fractional type dualities to the authors' existing NTU framework to enable new resolution forms in specialized compute modalities.