Rapport

Polymorphic dynamic typing : aspects of proof theory and inference : master's thesis