Entre las revistas que publican investigación sobre la teoría de lenguajes de programación están: