Introduces the first intersection type system for a lambda calculus with algebraic effects and handlers that characterizes termination via subject reduction and expansion while inducing a sound simple type system with decidable HOMC.
Infinite normal forms for the lambda-calculus
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
verdicts
UNVERDICTED 5roles
method 1polarities
use method 1representative citing papers
An explicit Fejér-kernel-power construction yields matrix-exponential distributions with closed-form parameters that asymptotically surpass the Erlang variance bound for unit delay.
Extensional Taylor expansion of lambda terms induces exactly the theory H* and provides the untyped counterpart to the known typed correspondence between eta-long resource terms and Hyland-Ong game-semantic plays.
Establishes sufficient more-general conditions for FastTwoSum as an error-free transformation under faithful rounding modes and introduces a configurable ExtractScalar splitting for round-to-odd.
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
citing papers explorer
-
Extensional Taylor Expansion
Extensional Taylor expansion of lambda terms induces exactly the theory H* and provides the untyped counterpart to the known typed correspondence between eta-long resource terms and Hyland-Ong game-semantic plays.