Beating the Productivity Checker Using Embedded Languages

by Nils Anders Danielsson
Citations:6 - 3 self