Calculating Dependently-Typed Compilers (Functional Pearl)

Pickard, M; Hutton, G

Pickard, M (corresponding author), Univ Nottingham, Sch Comp Sci, Nottingham, England.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021; 5 ():

Abstract

Compilers are difficult to write, and difficult to get right. Bahr and Hutton recently developed a new technique for calculating compilers directly fr......

Full Text Link