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

From LRDE
Line 2: Line 2:
   
 
Newton
  
Newton
−  
⚫
You may download the source code from [https://github.com/jimka2001/regular-type-expression.git]
  
   
 
=== Article submitted to ELS 9 2016 ===
  
=== Article submitted to ELS 9 2016 ===
Line 10: Line 8:
 
=== Project Report ===
  
=== Project Report ===
 
[http://www.lrde.epita.fr/dload/papers/mypaper.pdf]
  
[http://www.lrde.epita.fr/dload/papers/mypaper.pdf]
  +
  +
=== Source code ===
  +
  ⚫
You may download the source code from [https://github.com/jimka2001/regular-type-expression.git]

Revision as of 18:12, 19 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 [3]

Retrieved from "https://www.lrde.epita.fr/index.php?title=Publications/newton.16.els.inc&oldid=68386"