Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

abstract type · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Tiếng Việt Türkçe Русский العربية فارسی 한국어 中文日本語

EntityQ1781552· pop 11· linked from 45 articles

abstract type

type in a nominative type system that cannot be instantiated directly

Available in 10 languages

Español
中文
日本語
العربية
Finnish
Hungarian
Tiếng Việt
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

Categories

Sources

wikipedia.externallinksexternallink

safe typing

Entity

nominative typing

International Standard Book Number

programming language

object-oriented programming

generic programming

abstract data type

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.47

ad hoc polymorphism

Entitydist 0.57

Tarski's undefinability theorem

Entitydist 0.58

Entitydist 0.63

Lindenbaum–Tarski algebra

Entitydist 0.63

program synthesis

Entitydist 0.64

Heyting algebra

Entitydist 0.67

Gödel's incompleteness theorems

Entitydist 0.68

New Foundations

Entitydist 0.68

inaccessible cardinal

Entitydist 0.70

discrete system

Entitydist 0.70

Guarded Command Language

Entitydist 0.71

What links here45 pages

Component Object Model

abstract factory pattern

software requirements specification

boilerplate code

abstract data type

virtual function

nominative typing

inference typing