Jakob Valentin Hoffmann
Univ.Ass. Dipl.-Ing.
Role
-
PreDoc Researcher
Software Engineering, E194-01
Courses
Publications
-
Extending a refinement ƛ-calculus with polymorphism and data types
/
Hoffmann, J. (2024). Extending a refinement ƛ-calculus with polymorphism and data types [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.114629
Download: PDF (913 KB)