sweirich/lambda-n-ways

Benchmarks for capture-avoiding substitution

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2022-02-06 · latest 2025-07-07

Mentions per year 3 mentions · busiest year 2022 (2)

20082026

All Stories Comments Newest Top Oldest

…of natural and synthetic terms. I would be curious to see how your implementation compares. [1]: https://github.com/sweirich/lambda-n-ways [2]: https://popl22.sigplan.org/home/wits-2022
comment by bmc7505 · 2022-02-06 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime