Chapter 1 Epigram Reloaded: (2008)
A Standalone, Typechecker Ett, James Chapman, Thorsten Altenkirch, Conor Mcbride
Abstract Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of programming constructs which elaborates...
Chapter 1 Epigram Reloaded: (2008)
A Standalone, Typechecker Ett, James Chapman, Thorsten Altenkirch, Conor Mcbride
Abstract Epigram, a functional programming environment with dependent types, interacts with the programmer via an extensible high level language of programming constructs which elaborates...