Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)
Programming Languages, Dependent Types, Tagless Final, Self-Aware Systems
22 points by vg_head 271 days ago | 2 comments