Encoding Monomorphic and Polymorphic Types.

Jasmin Christian Blanchette Sascha Böhme Andrei Popescu Nicholas Smallbone

Published in: TACAS (2013)

Keyphrases

artificial intelligence
cooperative
databases
information systems
image segmentation
face recognition
fractal image compression