repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
WRINF strategy
authorDaniel Mendes <danielmendes@portugalmail.com>
local dateMon, 25 Sep 2006 18:24:33
dateMon, 25 Sep 2006 17:24:33
hash20060925172433-f0246-72764b735d7475960a21a3003872cfb325a7cee8
WRINF strategy

The Weak reduction to interface normal form strategy is now available as described in the paper
Weak Reduction and Garbage Collection in Interaction Nets by Jorge Sousa Pinto.
4 file(s) changed:
Makefile +1 -0 diff | history | annotate
src/INReduction.hs +70 -0 diff | history | annotate
src/Main.hs +1 -0 diff | history | annotate
src/NetworkUI.hs +6 -0 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie