A locally nameless solution to the POPLmark challenge (2007)

by Xavier Leroy
Citations:9 - 0 self