The ⟨ v , G ⟩ -machine [ 3 ] is a supercombinator graph - reduction machine . ... strict evaluation as well as flexible nonstrict evaluation by generating ...
確定! 回上一頁