Difference between revisions of "Publications/newton.16.els.inc"
From LRDE
(Created page with "== Hello World == === On second thought C++ is better than Lisp ===") |
Jim Newton (talk | contribs) (added link to slides) |
||
| (23 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| + | == Efficient Dynamic Type-checking of Heterogeneous Sequences == |
||
| − | == Hello World == |
||
| + | === Authors === |
||
| + | Jim Newton, Akim Demaille, Didier Verna |
||
| − | === |
+ | === Article submitted to ELS 9 2016 === |
| + | [http://www.european-lisp-symposium.org ELS 2016] |
||
| + | [http://www.lrde.epita.fr/dload/papers/newton.16.els.pdf Article] |
||
| + | [http://www.lrde.epita.fr/dload/papers/newton.16.els.slides.pdf Presentation Slides] |
||
| + | |||
| + | === Project Report === |
||
| + | [http://www.lrde.epita.fr/dload/papers/newton.16.rte.report.pdf Report] |
||
| + | |||
| + | === Source code === |
||
| + | |||
| + | 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] |
||
| + | |||
| + | |||
| + | [[File:dfa81.png|800px]] |
||
Latest revision as of 11:32, 12 May 2016
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
Source code
You may download the source code from LRDE gitlab mirror
