A fresh look at programming with names and binders (2010)

by Nicolas Pouillard , François Pottier
Citations:7 - 2 self