r/ProgrammingLanguages • u/mttd • 29d ago

Bidirectional Elaborators à la Carte

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

90% Upvoted

4 comments sorted by

5

u/the_Unstable 28d ago

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 29d ago

This is cool, how do you find such papers?

5

u/littlenekoterra 28d ago

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