Linking pages
- Functions may behave as if they had negative complexity on optimal evaluators | by Victor Maia | Medium https://medium.com/@maiavictor/some-functions-may-have-negative-complexity-im-worried-for-my-crypto-c53f6e7343d3 130 comments
- What is wrong with the web | by Victor Maia | Medium https://medium.com/@maiavictor/what-is-wrong-with-the-web-and-why-we-need-moon-4038949ede34 60 comments
- articles/0004-supercompilation-for-free at master · VictorTaelin/articles · GitHub https://github.com/maiavictor/articles/tree/master/0004-supercompilation-for-free 48 comments
- The Symmetric Interaction Calculus | by Victor Maia | Medium https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c 42 comments
- articles/0000-oracle-free-terms-are-turing-complete at master · VictorTaelin/articles · GitHub https://github.com/maiavictor/articles/tree/master/0000-oracle-free-terms-are-turing-complete 7 comments
- GitHub - VictorTaelin/optlam: An optimal function evaluator written in JavaScript. https://github.com/SrVictorMaia/optlam 1 comment
Linked pages
- Solving the mystery behind Abstract Algorithm’s magical optimizations | by Victor Maia | Medium https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07 60 comments
- GitHub - VictorTaelin/parallel_lambda_computer_tests: learning cuda https://github.com/MaiaVictor/parallel_lambda_computer_tests 19 comments
- GitHub - HigherOrderCO/Kind: A next-gen functional language https://github.com/moonad/Formality 8 comments
- https://www.sciencedirect.com/science/article/pii/S0890540197926432 1 comment
Related searches:
Search whole site: site:github.com
Search title: GitHub - VictorTaelin/abstract-algorithm: Optimal evaluator of λ-calculus terms.
See how to search.