3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
Free Variable as Effect, in Practice
Oleg Kiselyov
Variable environment is the time-honored way of making sense of free variables, used in programming language theory as well when writing interpreters and some compilers. Algebraic…
cs.PL2023★ 3 cited
MetaOCaml Theory and Implementation
Oleg Kiselyov
Quasi-quotation (or, code templates) has long been used as a convenient tool for code generation, commonly implemented as a pre-processing/translation into code-generation combinat…