gdijkstra/types-2015-slides
Slides for presentation at TYPES 2015
Public GitHub Catalog
Discovered Oct 2, 2026
gdijkstra / gdijkstra.github.io
Personal site
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#24754012GitHub System ID
gdijkstraOrganization / User
PublicVisibility
ActiveCatalog Status
More from gdijkstra
gdijkstra/homotopy-initiality
Establishing homotopy initiality for a general class of 1-HITs
gdijkstra/containers
Some code regarding (generalised) containers
gdijkstra/blog
Source files of my blog