Publications/newton.16.els.inc

From LRDE

Revision as of 11:32, 12 May 2016 by Jim Newton (talk | contribs) (added link to slides)
(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 Presentation Slides

Project Report

Report

Source code

You may download the source code from LRDE gitlab mirror


Dfa81.png