-
Notifications
You must be signed in to change notification settings - Fork 415
HVM Wiki
Boscop edited this page Apr 8, 2023
·
8 revisions
Welcome to the HVM wiki!
- https://zicklag.github.io/blog/interaction-nets-combinators-calculus
- https://github.com/HigherOrderCO/HVM/blob/master/guide/HOW.md
- Twitter thread: https://twitter.com/VictorTaelin/status/1588332432587005952
- https://github.com/VictorTaelin/HOC/blob/master/summary_for_gpt.txt
- Yves Lafon paper on Interaction Combinators from 1997: https://www.semanticscholar.org/paper/Interaction-Combinators-Lafont/6cfe09aa6e5da6ce98077b7a048cb1badd78cc76
- Formalization of the Interaction Calculus in Kind: https://github.com/HigherOrderCO/Wikind/blob/master/IC/_.kind2
- Other blog posts tagged by zicklag tagged #HVM: https://zicklag.github.io/blog/tags/hvm/
- This book contains the optimal beta-reduction algorithm: The Optimal Implementation of Functional Programming Languages
- This video from Yves Lafont (1995) shows some interaction net reductions (only visual, without explanation): https://www.youtube.com/watch?v=_uIGQ1biCXY
- Complete example of λ-Terms reduction using Interaction Combinators (with explanation in Portuguese, but understandable with English subtitles enabled, after you've familiarized yourself with the terminology): https://www.youtube.com/watch?v=Su6-xTouDGk
- The Symmetric Interaction Calculus
- Functions may behave as if they had negative complexity on optimal evaluators
- Solving the mystery behind Abstract Algorithm’s magical optimizations
- Beyond inductive datatypes exploring Self types
- https://github.com/VictorTaelin/absal-ex
- https://github.com/VictorTaelin/absal-rs
- https://github.com/victortaelin/abstract-algorithm
- https://github.com/MaisaMilena/Formality-Net-Animator
- https://github.com/VictorTaelin/Formality
- https://github.com/Soonad/Formality-Core
- https://github.com/VictorTaelin/LPU
- https://github.com/VictorTaelin/parallel_lambda_computer_tests
- Yves Lafont's original website: https://web.archive.org/web/20171209023501/http://iml.univ-mrs.fr/~lafont/recherche.html
- The Binary Lambda Calculus: https://tromp.github.io/cl/cl.html
- Chemlambda: https://chemlambda.github.io/index.html