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

Contents

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

Efficient Dynamic Type-checking of Heterogeneous Sequences

Authors

Jim Newton, Akim Demaille, Didier Verna

Article submitted to ELS 9 2016

ELS 2016 Article Presentation Slides

Project Report

Report

Source code

You may download the source code from LRDE gitlab mirror


Dfa81.png

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