Strong arrows: a new approach to gradual typing : vimarsana.

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 ,

© 2025 Vimarsana