Hacker GitHub

← All repos

sweirich/lambda-n-ways

View on GitHub ↗ ★ 127 HTML

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
AllStoriesComments NewestTopOldest
  1. ▲ 4
    Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
    story by fanf2 · 2025-07-07 · 0 comments
  2. ▲ 1
    Lambda-Calculus cooked n-ways
    story by weatherlight · 2022-11-15 · 0 comments
  3. …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