Making ``stricterness more relevant
From MaRDI portal
Publication:656871
Recommendations
Cites work
- scientific article; zbMATH DE number 1678354 (Why is no real title available?)
- scientific article; zbMATH DE number 1002941 (Why is no real title available?)
- scientific article; zbMATH DE number 3960961 (Why is no real title available?)
- scientific article; zbMATH DE number 4035108 (Why is no real title available?)
- scientific article; zbMATH DE number 3679159 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 1832219 (Why is no real title available?)
- scientific article; zbMATH DE number 5033863 (Why is no real title available?)
- A generic usage analysis with subeffect qualifiers
- A linear logical framework
- Making ``stricterness more relevant
- Needed reduction and spine strategies for the lambda calculus
- Polymorphic type, region and effect inference
- Proof Tool Support for Explicit Strictness
- Refined typing to localize the impact of forced strictness on free theorems
- Safety of Nöcker's strictness analysis
- Strictness and totality analysis
- Strictness, totality, and non-standard-type inference
Cited in
(8)- Modular, higher order cardinality analysis in theory and practice
- Proof Tool Support for Explicit Strictness
- scientific article; zbMATH DE number 4106302 (Why is no real title available?)
- scientific article; zbMATH DE number 1832219 (Why is no real title available?)
- Refined typing to localize the impact of forced strictness on free theorems
- Derivation and inference of higher-order strictness types
- Untyped strictness analysis
- Making ``stricterness more relevant
This page was built for publication: Making ``stricterness more relevant
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q656871)