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