Difference between revisions of "Publications/newton.16.els.inc"

From LRDE

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 13:37, 22 February 2016

Efficient Dynamic Type-checking of Heterogeneous Sequences

Newton

Article submitted to ELS 9 2016

[1]

Project Report

[2]

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]