Difference between revisions of "Publications/newton.16.els.inc"
From LRDE
Jim Newton (talk | contribs) |
Jim Newton (talk | contribs) (added link to published paper) |
||
Line 6: | Line 6: | ||
=== Article submitted to ELS 9 2016 === |
=== Article submitted to ELS 9 2016 === |
||
[http://www.european-lisp-symposium.org ELS 2016] |
[http://www.european-lisp-symposium.org ELS 2016] |
||
+ | [http://www.lrde.epita.fr/dload/papers/newton.16.edtchs.pdf Article] |
||
=== Project Report === |
=== Project Report === |
Revision as of 14:42, 6 April 2016
Efficient Dynamic Type-checking of Heterogeneous Sequences
Authors
Jim Newton, Akim Demaille, Didier Verna
Article submitted to ELS 9 2016
Project Report
Source code
You may download the source code from LRDE gitlab mirror