Sto studiando Tipi e linguaggi di programmazione , e ho qualche problema a farmi un'idea dei concetti del 5 ° capitolo, The Untyped Lambda Calculus .
In particolare, redex , riduzione e le varie strategie di valutazione stanno facendo la...
posta
12.02.2014 - 13:23