A Temporal Logic Approach to Binding-Time Analysis

DOI10.1145/3011069zbMath1426.68034OpenAlexW2601109700MaRDI QIDQ3177881

Rowan Davies

Publication date: 2 August 2018

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3011069

zbMATH Keywords

partial evaluationstaged computationpropositions as types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Temporal logic (03B44)

Related Items

Modality via iterated enrichment, Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Exploring the Jungle of Intuitionistic Temporal Logics, Tensor based approach to the numerical treatment of the parameter estimation problems in mathematical immunology, Unnamed Item, Type-level Computation Using Narrowing in Ωmega