The Equivalence of Reduction and Translation Semantics of Java Simple Closures
Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 2012
FGCJ is a minimal core calculus that extends Featherweight Generic Java, FGJ, with lambda expressions for Java Simple Closures. It has been introduced to study, in a reduction semantics framework, properties of Java Simple Closures, including type sa