Reasoning about functional programs and complexity classes associated with type disciplines | IEEE Conference Publication | IEEE Xplore