maximal free expression (MFE) A {free expression} is sub-expression of a {lambda abstraction} not containing the {bound variable}. A maximal free expression is a free expression not contained within any other free expression. See {full laziness}.
版權所有 © 2024 3Dict.net