Veranstaltungen

18. Dezember 2017, 14:00 bis 15:30

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

Andere

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/ )

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Nein

 

Anmeldung erforderlich

Nein