Publications/newton.16.els.inc

From LRDE

Revision as of 17:04, 6 April 2016 by Jim Newton (talk | contribs) (changed name of file to be conforming)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Efficient Dynamic Type-checking of Heterogeneous Sequences

Authors

Jim Newton, Akim Demaille, Didier Verna

Article submitted to ELS 9 2016

ELS 2016 Article

Project Report

Source code

You may download the source code from LRDE gitlab mirror

Retrieved from "https://www.lrde.epita.fr/index.php?title=Publications/newton.16.els.inc&oldid=75747"