Strong arrows: a new approach to gradual typing

An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.

Related Keywords

Guillaume Duboc ,Giuseppe Castagna , ,Haskell Typeclasses ,Erlang Virtual ,