Login / Signup

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.

Junyoung JangSamuel GélineauStefan MonnierBrigitte Pientka
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases