학술논문
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 30 August 2023, 7(ICFP))
Subject
Language
English
ISSN
24751421