Email Address * *
Name
Subject *
Message * Articles On Type Theory, including Abstract Data Type, Ordered Pair, Prototype-based Programming, Tuple, Uniqueness Type, Type System, Subtype Polymorphism, Curryâ€"howard Correspondence, Type Polymorphism, Type Inference, Type Signature - 1243295406 - 9781243295408