pSub/master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
Public GitHub Catalog
Discovered Sep 25, 2026
pSub / seminar-formspez
Report and Slides to my talk about "Security of Multithreaded Programs by Compilation" at the seminar "Formal Specification" in WS11/12 at TU Darmstadt
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.
#2904399GitHub System ID
pSubOrganization / User
PublicVisibility
ActiveCatalog Status
More from pSub
pSub/tpl-notes
Public repository.
pSub/tspl-agda
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
pSub/information-flow-agda
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213