What is a Universal Higher-Order Programming Language?

Ramarao Kanneganti, Robert Cartwright

Browse the full ICALP paper archive.