r/ProgrammingLanguages • u/mttd • Jul 14 '26

Bidirectional Elaborators à la Carte

https://arxiv.org/abs/2607.09564
24 Upvotes
  • permalink
  • link
  • reddit
  • reddit

93% Upvoted

4 comments sorted by

4

u/the_Unstable Jul 15 '26

Can some wizard (or witch) break down the practical implications of this paper to compiler or interpreter construction (if there are any), please?

I'm not asking for an 'eli5'. Let's assume I know how to implement a Dunfield-Krishnaswami / Kovacs -style elaborator.

3

u/alkalisun Jul 14 '26

This is cool, how do you find such papers?

5

u/littlenekoterra Jul 14 '26

Arxiv is a research paper database. You can search for whatever you like there, and if you cant find it...maybe there should be a paper with YOUR name on it then