Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (Q2802465)

From MaRDI portal





scientific article; zbMATH DE number 6573726
Language Label Description Also known as
default for all languages
No label defined
    English
    Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
    scientific article; zbMATH DE number 6573726

      Statements

      Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      26 April 2016
      0 references

      Identifiers