https://hackerpaper.kaipfister.de/p/2301.11220/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=35082981urn:hackerpapers:mention:2301.11220:35082981Thu, 09 Mar 2023 16:23:53 GMT<p>Paper [0] abstract: &gt; ...We propose a new transpilation approach that offers fine-grained customizability and reusability of transpilation rules created by others, without burdening the user to understand the global semantics of the given source program. Our approach is mostly automatic and incremental, i.e., constructs translation rules needed to transpile the given program as per the user’s guidance piece-by-piece. Users can rely on existing transpilation rules to translate most of the program correctly while focusing their effort locally, only on parts that are incorrect or need…</p><p><a href="https://hackerpaper.kaipfister.de/p/2301.11220/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL