LRDE LRDE LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties
  • Log in
  • LRDE
  • Home
  • People
  • News
  • Jobs
  • Lrde bulletin
  • Intranet
  • Projects
  • Partnerships
  • Publications
  • LRDE Seminar
  • Life at the LRDE
  • Joining the LRDE
  • Courses at EPITA
  • External courses
  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Browse properties
  • Browse properties

Publications/newton.16.els.inc

From LRDE

Revision as of 14:37, 22 February 2016 by Jim Newton (talk | contribs) (→‎Source code)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Contents

  • 1 Efficient Dynamic Type-checking of Heterogeneous Sequences
    • 1.1 Article submitted to ELS 9 2016
    • 1.2 Project Report
    • 1.3 Source code

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]

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