abstract-algorithm

I've been following the work you've been doing for a while now, and the culmination of all your progress for the past few years toward HVM, has been very inspirational. Keep up the good work, and best of luck with HighOrderCo. If anyone, reading HVM's and Inpla's gentle introductions to Interaction Nets, is looking for an overview of Lafont's papers and Sato's implementation designs, you might enjoy: https://wiki.xxiivv.com/site/interaction_nets.html If someone is looking for a graphical playground to experiment with interaction nets, here's Sylvain Lippi's InTwo(gtk): https://github.com/max22-/intwo Anyone looking to better understand linear logic in the context of IN ought to have a look at Victor's Absal: https://github.com/VictorTaelin/abstract-algorithm Someone below linked to Baker's excellent linear lisp paper(psi-lisp), I'd like t

This reminds me strongly of Absal[0]. Could somebody familiar with both give a comparison? This looks like a really cool idea, and I'd love to see a GHC backend for it. It might also be nice to have a brief explanation if an interaction between without just linking to a big theory paper. [0] https://github.com/VictorTaelin/abstract-algorithm eta: I only now notice that Victor Taelin is the author of both packages.