Dependently Typed Metaprogramming

  title={Dependently Typed Metaprogramming},
  author={Edwin Brady and Kevin Hammond},
Dependent types and multi stage programming have both been used, separately, as implementation techniques for programming languages. Each technique has its own advantages — with dependent types, we can verify aspects of interpreters and compilers such as type safety and stack invariants. Multi stage programming, on the other hand, can give the implementor… CONTINUE READING