Technische Universität Wien
> Zum Inhalt

Fabian Mühlböck, M.S.: Co-Design for Efficient and Well-Behaved Gradual Typing

Gradual typing is the idea that we have both statically and
dynamically type-checked code in different parts of a program.  This
allows programmers to use the advantages of either paradigm as needed,
and ideally also to eventually transform untyped code into typed code
without having to start from scratch. Most work as of now has focused
on adding gradual typing to existing languages, which has turned out
to come with significant drawbacks. In my talk, I will discuss design
decisions that come up when designing a completely new gradually typed
language. I will present a prototype language that demonstrates how we
can avoid the major drawbacks of existing approaches by incorporating
gradual typing into the design process from the start.

Kurzbiographie von Fabian Mühlböck:
Fabian Mühlböck is a 5th year PhD student at Cornell
University. His research focuses on object-oriented type
systems, decidability of subtyping, and gradual typing.
( www.cs.cornell.edu/~fabianm/ )

Art: Informatik-Kolloquium
Von: 18.12.2017 14:00
Bis: 18.12.2017 15:30
Ort:

TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte)

Veranstalter:

TU Wien, Institut für Computersprachen, Arbeitsbereich für Programmiersprachen und Übersetzer

Univ.Prof. Dr. Jens Knoop
knoop@complang.tuwien.ac.at

Dateien:
Links:

http://www.complang.tuwien.ac.at/talks/Muehlboeck2017_12_18

Öffentlich: ja
Kostenpflichtig: nein
Anmeldung: nein
Zurück