Matthew Flatt

Extensible access control with authorization contracts

2016

Existing programming language access control frameworks do not meet the needs of all software components. We propose an expressive framework for implementing access control monitors for components. The basis of the framework is a novel …

Rhombus: A New Spin on Macros without All the Parentheses

2023 · Proceedings of the ACM on Programming Languages

Rhombus is a new language that is built on Racket. It offers the same kind of language extensibility as Racket itself, but using traditional (infix) notation. Although Rhombus is far from the first language to …