[Haskell-cafe] Graphical representation of Haskell code

Stephen Tetley stephen.tetley at gmail.com
Tue Mar 23 04:38:55 EDT 2010


Hello All

I seem to remember the graphical notation 'interaction nets' as having
a well defined translation into the lambda calculus (so one wouldn't
need to invent or formalize a new notation). As I'm no longer a
student and don't have access to the ACM digital library I haven't
been able to validate this. Maybe someone can comment?

Interesting the Wikipedia page for interaction nets points to Hackage:

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/INblobs-0.1.1


Best wishes

Stephen


More information about the Haskell-Cafe mailing list