[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:


Best wishes


More information about the Haskell-Cafe mailing list