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

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

collaborators

2 papers

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…

cs.PL2020

SMIE: Weakness is Power!: Auto-indentation with incomplete information

Stefan Monnier

Automatic indentation of source code is fundamentally a simple matter of parsing the code and then applying language- and style-specific rules about relative indentation of the var…