HackerPapers

arXiv:1701.04240cs.LO

About the efficient reduction of lambda terms

Andrea Asperti

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

There is still a lot of confusion about "optimal" sharing in the lambda calculus, and its actual efficiency. In this article, we shall try to clarify some of these issues.

arXiv comments
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Feb 2022 to Feb 2022.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime 1 comment

    • Great work Victor, it's so encouraging to see Asperti & Guerrini's research receive engineering attention! Anton Salikhmetov also had some nice implementations [1] a few years ago. As I understand, even Andrea Asperti didn't believe his approach was practical [2] :) Any idea how…

      fritzoView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.