Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

University of Birmingham
School of Computer Science

Adresse Edgbaston
Birmingham B15 2TT
Großbritannien

Birmingham B15 2TT

Projekte

Sachbeihilfen
- laufende Projekte
  - Abstrakte Techniken für Programmiersprachen und sichere Kompilierung
    (Antragsteller Goncharov, Sergey ; Tsampas, Stelios )
  - Höherstufige monadenbasierte Programmierung und Verifikation
    (Antragsteller Goncharov, Sergey )
- abgeschlossene Projekte
  - Eine High-Level-Sprache für monadenbasierte Prozesse
    (Antragsteller Goncharov, Sergey ; Schröder, Lutz )

© 2026 DFG Kontakt / Impressum / Datenschutz