Difference between revisions of "Publications/newton.16.els.inc"
From LRDE
Jim Newton (talk | contribs) |
Jim Newton (talk | contribs) |
||
| Line 2: | Line 2: | ||
=== Authors === |
=== Authors === |
||
| − | [Jim Newton], [Akim Demaille], [Didier Verna] |
+ | [[Jim Newton]], [[User:Akim Demaille]Akim Demaille], [[Didier Verna]] |
=== Article submitted to ELS 9 2016 === |
=== Article submitted to ELS 9 2016 === |
||
Revision as of 17:10, 22 February 2016
Efficient Dynamic Type-checking of Heterogeneous Sequences
Authors
Jim Newton, [[User:Akim Demaille]Akim Demaille], Didier Verna
Article submitted to ELS 9 2016
Project Report
Source code
You may download the source code from LRDE gitlab mirror
