Publications

Abstract Machines for Polymorphous Computing