repos
/
INblobs
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Token-Passing examples
author
Miguel Vilaca <jmvilaca@di.uminho.pt>
local date
Thu, 18 Jan 2007 17:24:30
date
Thu, 18 Jan 2007 17:24:30
hash
20070118172430-970b1-ef6fbc2c3c0f9d2eb42625af1077f696407a4c6a
Token-Passing examples
Some examples of Token-Passing Interaction Nets in
Call-by-Value and Call-by-Name with booleans, lists,
natural numbers, products, co-products and explicit
recursion.
9 file(s) changed:
examples/Token-Passing
[added dir]
diff
|
history
|
annotate
examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByNameForClosedTerms.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByNameWithOpenTerms.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByValueForClosedTerms.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
[added]
diff
|
history
|
annotate
examples/Token-Passing/CallByValueWithOpenTerms.INblobs
[added]
diff
|
history
|
annotate