Epigram reloaded: a standalone typechecker for ETT

Abstract

Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of programming constructs which elaborates incrementally into Epigram’s Type Theory, ETT, a rather spartan λ-calculus with dependent types, playing the rôle of a ‘core language’. We implement a standalone typechecker for… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics