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

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 28× · AI/ML

**Wikidata**: [openalex:W4206286386](https://www.wikidata.org/wiki/openalex:W4206286386)  
**Source**: https://4ort.xyz/entity/mbius-metaprogramming-using-contextual-types-the-stage-where-system-f-can-pattern-match-on-itself