Experience using type theory as a foundation for computer science | IEEE Conference Publication | IEEE Xplore