Type-safe runtime code generation: accelerate to LLVM


Embedded languages are often compiled at application runtime; thus, embedded compile-time errors become application runtime errors. We argue that advanced type system features, such as GADTs and type families, play a crucial role in minimising such runtime errors. Specifically, a rigorous type discipline reduces runtime errors due to bugs in both embedded… (More)
DOI: 10.1145/2804302.2804313

3 Figures and Tables


  • Presentations referencing similar topics