Resource-Safe Systems Programming with Embedded Domain Specific Languages

  title={Resource-Safe Systems Programming with Embedded Domain Specific Languages},
  author={E. Brady and K. Hammond},
  • E. Brady, K. Hammond
  • Published in PADL 2012
  • Computer Science
  • We introduce a new overloading notation that facilitates programming, modularity and reuse in Embedded Domain Specific Languages (EDSLs), and use it to reason about safe resource usage and state management. We separate the structural language constructs from our primitive operations, and show how precisely-typed functions can be lifted into the EDSL. In this way, we implement a generic framework for constructing state-aware EDSLs for systems programming. 
    16 Citations
    Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL
    Lightweight Domain-Specic Error Messages
    Dependent Types for Safe and Secure Web Programming
    • 7
    • PDF
    Central European Functional Programming School
    • 14
    • Highly Influenced
    • PDF
    Reflect on Your Mistakes ! Lightweight Domain-Specific Error Messages
    • 16
    • PDF
    Programming and reasoning with algebraic effects and dependent types
    • 105
    • PDF


    IDRIS ---: systems programming meets full dependent types
    • 85
    • PDF
    Tagless staged interpreters for typed languages
    • 84
    • PDF
    A verified staged interpreter is a verified compiler
    • 29
    • PDF
    Epic - A Library for Generating Compilers
    • E. Brady
    • Computer Science
    • Trends in Functional Programming
    • 2011
    • 7
    • PDF
    The next 700 programming languages
    • 668
    • PDF