LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub
—
filed under:
LFCS Seminar,
Upcoming events
| What |
|
|---|---|
| When |
Nov 08, 2016 from 04:00 PM to 05:00 PM |
| Where | IF 4.31/4.33 |
| Add event to calendar |
vCal
iCal
|
We present a type system combining subtyping and ML-style parametric
polymorphism. Unlike previous work, our system supports type inference
and has compact principal types. We demonstrate this system in the
minimal language MLsub, which types a strict superset of core ML
programs.
This is made possible by keeping a strict separation between the types
used to describe inputs and those used to describe outputs, and
extending the classical unification algorithm to handle subtyping
constraints between these input and output types. Principal types are
kept compact by type simplification, which exploits deep connections
between subtyping and the algebra of regular languages. An
implementation is available online.
Congratulations to Ricardo Almeida on successfully passing his VIVA
