Hi Simon, > The paper on System FC [1] has an operational semantics. Would that do? It seems like a start. It doesn't matter much, since I don't have any time left to actually work on this, but I wanted to verify my claim in my report that no directly usable semantics are available :-)
Gr. Matthijs
signature.asc
Description: Digital signature
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users