Semantic lifting and active libraries (2008)

by Peter Collingbourne