Personal tools
 
You are here: Home → Events → LFCS Seminars-Folder → LFCS Seminars → LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub

LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
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.

Document Actions