Parametricity

id: parametricity-304-1106184
title: Parametricity
text: In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way.
brand slug: wiki
category slug: encyclopedia
description: Type theory concept
original url: https://en.wikipedia.org/wiki/Parametricity
date created:
date modified: 2023-11-26T03:07:39Z
main entity: {"identifier":"Q17144895","url":"https://www.wikidata.org/entity/Q17144895"}
image:
fields total: 13
integrity: 14

Related Entries

Explore Next Part