Ένας τύπος ο ορισμός των οποίων έχει σύμβολα κράτησης θέσης για το πραγματικό τους τύπους που καθορίζει ο χρήστης κατά τη δημιουργία και χρησιμοποιώντας τις παρουσίες του τύπου. C++ πρότυπα και κοινή γλώσσα χρόνου εκτέλεσης generics είναι παραδείγματα των τύπων με παραμέτρους.