Scrapping your inefficient engine

DOI10.1145/1863543.1863587zbMath1323.68064OpenAlexW2096189519MaRDI QIDQ5176949

Edwin Brady, Kevin Hammond

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863587

zbMATH Keywords

partial evaluationdependent types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

This page was built for publication: Scrapping your inefficient engine