Type-safe runtime code generation: accelerate to LLVM

Abstract

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

Topics

  • Presentations referencing similar topics