most citedMoebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2021★ 1 cited

Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)

Junyoung Jang, Samuel Gélineau, Stefan Monnier +1

We describe the foundation of the metaprogramming language, Moebius, which supports the generation of polymorphic code and, more importantly the analysis of polymorphic code via pa…