Institutional Scholarship

Browsing by Author "Soulanille, Matthew"

Browsing by Author "Soulanille, Matthew"

Sort by: Order: Results:

  • Soulanille, Matthew (2019)
    Faceted execution is a technique for dynamic information flow control that allows programmers to program in a policy-agnostic manner. Racets uses macros to extend Racket with support for faceted execution. We present the ...



My Account