Various DSL:
------------
  * FSL: the "pure" DSL.
  * SSL: DSL with a global state.
  * ISL: DSL with local state.


Examples in FSL:
----------------
* FSLFixCounterEx.v: counter example to fixpoint existence (fixpoint
  of non-monotonic functions)
* FSLDiv.v, FSLF91.v: examples of partial functions in FSL.
* NimGame.v NimGame_v2.v: two versions of the Nim Game (functional version). 

Examples in SSL:
-----------------

* StNimGame.v: FULL imperative version of the Nim Game.

* EnumBinTree.v: 
   a "high order" enumeration of binary trees using a recursive
   continuation-based implementation.
see enumBT.ml
(EnumBT.java is a translation of this code in Java, to show that
continuation-style can be used in Java. However, this is much heavier
than in a functional language, because each anonymous closure must be
explicitely coded by a class).

Examples in ISL:
-----------------
* Maxisort.v: 
   this is a "first order" example...
   this is a naive quadradatic sort algorithm for arrays.

* Lookup.v: 
   a first and simple "high order" example.
   implements a high-order lookup functions in a list.

* EnumBinTreeExp.v: 
   an experimental version of EnumBinTree.v in ISLs.

* EnumPrime.v: 
   a "high order" enumeration of primes number using a recursive
   continuation-based implementation, such that the state of the
   closure is locally extended in the recursive call.


