Difference between revisions of "Publications/newton.16.els.inc"
From LRDE
Jim Newton (talk | contribs) |
Jim Newton (talk | contribs) |
||
| Line 11: | Line 11: | ||
=== Source code === |
=== Source code === |
||
| − | You may download the source code from [https://github.com/jimka2001/regular-type-expression.git] |
+ | You may download the source code from [mirror https://github.com/jimka2001/regular-type-expression.git] [lrde-gitlab https://gitlab.lrde.epita.fr/jnewton/regular-type-expression.git] |
Revision as of 14:37, 22 February 2016
Efficient Dynamic Type-checking of Heterogeneous Sequences
Newton
Article submitted to ELS 9 2016
Project Report
Source code
You may download the source code from [mirror https://github.com/jimka2001/regular-type-expression.git] [lrde-gitlab https://gitlab.lrde.epita.fr/jnewton/regular-type-expression.git]