Difference between revisions of "Publications/newton.16.els.inc"
From LRDE
Jim Newton (talk | contribs) |
Jim Newton (talk | contribs) |
||
| Line 1: | Line 1: | ||
== Efficient Dynamic Type-checking of Heterogeneous Sequences == |
== Efficient Dynamic Type-checking of Heterogeneous Sequences == |
||
| + | === Authors === |
||
| − | Newton |
||
| + | [Jim Newton], [Akim Demaille], [Didier Verna] |
||
| ⚫ | |||
| + | |||
=== 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] |
||
| Line 12: | Line 13: | ||
You may download the source code from [https://gitlab.lrde.epita.fr/jnewton/regular-type-expression.git LRDE gitlab] [https://github.com/jimka2001/regular-type-expression.git mirror] |
You may download the source code from [https://gitlab.lrde.epita.fr/jnewton/regular-type-expression.git LRDE gitlab] [https://github.com/jimka2001/regular-type-expression.git mirror] |
||
| + | |||
| + | |||
| ⚫ | |||
Revision as of 17:09, 22 February 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
