15816 Linear Logic
Spring 2012
Frank Pfenning

Code to illustrate concurrent monadic computations
For example:

% celf nat.clf list.clf sort.clf

nat.clf - natural numbers in binary representation
list.clf - lists of natural numbers
perm.clf - permuting a list
max.clf - parallel max
sort.clf - parallel bubblesort

nat-test.clf - queries to test natural number computation