Martin Plümicke Person-Info 

( Ich bin Martin Plümicke)

News

(1 - 4 von 46
)

Bad Honnef 2016: Programm - COMPLANGwww.complang.tuwien.ac.at › gi-fgpsurk › Programm

www.complang.tuwien.ac.at
16:00–17:00 Syntax (Sitzungsleitung: Martin Plümicke). Marcel Heinz (Universität Koblenz-Landau) Formalisierung des Kernvokabulars linguistischer ...

Taz: Liebe oder Pfarramt - taz.de

RELIGION Weil sie einen Moslem heiratete, musste die Vikarin Carmen Häcker gehen. Nun diskutieren die evangelischen Landeskirchen, ob Pfarrer heiraten dürfen,...

Taz: Heirat zwischen Vikarin und Muslim: Das Kreuz mit dem...

Weil sie einen Muslim heiratete, musste die Vikarin Carmen Häcker gehen. Nun diskutieren die evangelischen Landeskirchen, ob Pfarrer heiraten dürfen, wen sie...

Universität Tübingen - Talk by Martin Plümicke: More Type Inference...

ps.informatik.uni-tuebingen.de
Martin Plümicke studied Mathematics and Physics at the University of Tübingen before getting his PhD in Computer Science. In his dissertation, he worked on type systems of functional languages and developed a type inference algorithm for OBJ. Today, he is a professor at the Baden-Wuerttemberg Cooperative State University (DHBW).
Dossier exportieren
+1