Integrating typed and untyped code in a scripting language.

Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan stlund, Jan Vitek

Browse the full POPL paper archive.