Publications/newton.16.els.inc
From LRDE
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]