Existential Type

E1983226 UNEXPLORED

Existential Type is a programming languages and type theory blog authored by computer scientist Robert Harper, focusing on topics such as type systems, logic, and the foundations of programming.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Existential Type canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robert Harper → hasBlog → Existential Type ⓘ