Fully Generic Programming over Closed Universes of Types

Fully Generic Programming over Closed Universes of Types

My Ph.D. defense.

72003cf388f6f7f95b433de3df9ccd38?s=128

larrytheliquid

May 08, 2017
Tweet