Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Sommersemester 11 Seminare Having Fun with Types login

Having Fun with Types

Dozent:
Ort/Zeit:block seminar on June 22/24, 2011
ModulNummer:IN8901, IN0014
Beschreibung:    Studying different type systems and the cool things they imply.

Vortragstermin: 22. + 24. Juni 2011 (vorraussichtlich im Seminarraum Seidl 02.07.034)

 

Themensammlung:

Thema Vortragender Betreuer Ausarbeitung Vortrag
Typed Assembly Language
Faltermeier Flexeder TAL.pdf TAL_vortrag.pdf
Regular Expression Types
Fuchs Simon RegExpr.pdf RegExpr_vortrag.ppt
Intersection Types
Putz Simon Intersectiontypes.pdf Intersectiontypes_vortrag.pdf
Linear Types
Aumann Simon Lineartypes.pdf Lineartypes_vortrag.pdf
Dependent Types
Pöppl Simon Dependenttypes.pdf Dependenttypes_vortrag.pdf
Liquid Types
Gleissenthall Flexeder Liquidtypes.pdf Liquidtypes_vortrag.pdf
Phantom Types
Franzelin Neumann Phantomtypes.pdf Phantomtypes_vortrag.pdf
Units of Measure
Hackstein Neumann UnitsOfMeasure.pdf UnitsOfMeasure_vortrag.pdf
Type Inference (Algorithm M, Algorithm W)
Wiesner Neumann TypeInference.pdf TypeInference_vortrag.pdf
Type Classes /Subtyping
Hupel Simon Subtypes.pdf Subtypes_vortrag.pdf
Type system of Go/C#
Vogler  Flexeder Go.pdf Go_vortrag.pptx
(un)typed object-oriented calculi
Zacherl  Neumann ObjectOrient.pdf ObjectOrient_vortrag.pdf
Generic Programming
Müller  Flexeder GenericProgr.pdf GenericProgr_vortrag.pdf

Informationen:

mail-Verteiler mit allen Seminarteilnehmern: types@mailseidl.in.tum.de
Email: types-orga@mailseidl.in.tum.de
Die Ausarbeitung sollte einen Umfang von maximal 10 Seiten haben!
Die Vortragszeit soll 30 Minuten betragen!

Als Sprache der Ausarbeitung kann sowohl Englisch als auch Deutsch gewählt werden, wobei Englisch des Übungseffekts wegen bevorzugt werden sollte.

Betreuer:

Andrea Flexeder: flexeder at in.tum.de / Homepage
Axel Simon: axel.simon at in.tum.de / Homepage
René Neumann: rene.neumann at in.tum.de / Homepage


Termine
  • zu Beginn: Einarbeitung, Literatur-/Dokumentationsrecherche
  • regelmässige Treffen mit dem Betreuer, um Gliederung, Ausarbeitung und Vortrag zu erstellen
  • Milestone 20.05.2011: Gliederung der Ausarbeitung an den Betreuer senden
  • Milestone 10.06.2011: endgültige Fassung der Ausarbeitung (ca. 10 Seiten) an den Betreuer senden
  • Milestone 17.06.2011: Abgabe der Reviews
  • Milestone 13.06.2011 : endgültige Fassung der Vortragsfolien an den Betreuer senden
  • Anwesenheitspflicht!
  • Wir erwarten neben dem Vortrag, der Anfertigung der Ausarbeitung eine aktive Beteiligung an den Diskussionen im Anschluß an die Vorträge!
Vorlagen


TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms