Project Details
Person
Privatdozent Dr.-Ing. Sergey Goncharov
Address
University of Birmingham
School of Computer Science
Edgbaston
Birmingham B15 2TT
Großbritannien
-
As Applicant
-
Current projects
-
Higher-Order Monad-based Programming and Reasoning (Research Grants)
-
Abstract Techniques for Programming Languages and Secure Compilation (Research Grants)
-
-
Completed projects
-
A High Level Language for Monad-based Processes (Research Grants)
-
-
Current projects
