Universal type
id:
universal-type-291-4653970
title:
Universal type
text:
In type theory universal type(s) may refer to: The top type in a type system with subtyping.
Universal types is a shorthand for universally quantified types in systems that support parametric polymorphism like System F.
brand slug:
wiki
category slug:
encyclopedia
description:
Topics referred to by the same term
original url:
https://en.wikipedia.org/wiki/Universal_type
date created:
date modified:
2012-12-01T14:36:09Z
main entity:
{"identifier":"Q7894166","url":"https://www.wikidata.org/entity/Q7894166"}
image:
fields total:
13
integrity:
14