3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.PL2025
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
Beniamino Accattoli, Dan Ghica, Giulio Guerrieri +2
Closure conversion is a program transformation at work in compilers for functional languages to turn inner functions into global ones, by building closures pairing the transformed…
cs.IR2015★ 3 cited
A Survey on Retrieval of Mathematical Knowledge
F. Guidi, C. Sacerdoti Coen
We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and…