Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor | IEEE Conference Publication | IEEE Xplore