Ricardo Pena, Clara Segura. Sized Types for Typing Eden Skeletons. In Thomas Arts, Markus Mohnen, editors, Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Volume 2312 of Lecture Notes in Computer Science, pages 1-17, Springer, 2001. [doi]
Abstract is missing.