Title: A type inference algorithm and transition semantics for polymorphic C