repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Functional BNL programs to IN Iterators
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateMon, 14 Jan 2008 17:43:33
dateMon, 14 Jan 2008 17:43:33
hash20080114174333-970b1-47385a6c0bb0855797d3e8c55d4a274ef27bcaac
Functional BNL programs to IN Iterators

Compiles a textual BNL program into an Interaction Net system with iterators.
See paper "Encoding Iterators in Interaction Nets" for more details.
30 file(s) changed:
Makefile +35 -44 diff | history | annotate
examples/New-Token-Passing [added dir] diff | history | annotate
examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs [added] diff | history | annotate
examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs [added] diff | history | annotate
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs [added] diff | history | annotate
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs [added] diff | history | annotate
lib/animLC [removed dir] diff | history | annotate
lib/animLC/Bruijn.hs [removed] diff | history | annotate
lib/animLC/Closure.hs [removed] diff | history | annotate
lib/animLC/Consts.hs [removed] diff | history | annotate
lib/animLC/LambdaS.hs [removed] diff | history | annotate
lib/animLC/ParseLib.hs [removed] diff | history | annotate
lib/animLC/Schonfinkel.hs [removed] diff | history | annotate
lib/animLC/Types.hs [removed] diff | history | annotate
makeclean.bat +2 -2 diff | history | annotate
src/Common.hs +4 -0 diff | history | annotate
src/CommonUI.hs [replaced 1 tokens] diff | history | annotate
src/CommonUI.hs [replaced 1 tokens] diff | history | annotate
src/Constants.hs +1 -1 diff | history | annotate
src/Document.hs +4 -0 diff | history | annotate
src/Functional [added dir] diff | history | annotate
src/Functional/Compiler.hs +492 -142 diff | history | annotate
src/Functional/Language.hs [added] diff | history | annotate
src/Functional/Parser.hs [added] diff | history | annotate
src/Functional/UI.hs [added] diff | history | annotate
src/INChecks.hs +3 -1 diff | history | annotate
src/LambdaC.hs [moved to "src/Functional/Compiler.hs"]
src/NetworkUI.hs +12 -3 diff | history | annotate
startghc.bat +1 -1 diff | history | annotate
startghci.bat +1 -1 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie