Making ``stricterness more relevant
From MaRDI portal
Publication:656871
DOI10.1007/S10990-011-9079-7zbMATH Open1232.68026OpenAlexW1967925712MaRDI QIDQ656871FDOQ656871
Jurriaan Hage, Stefan Holdermans
Publication date: 13 January 2012
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-011-9079-7
Recommendations
type and effect systemslazy evaluationfunctional languagesexplicit strictness annotationsrelevance typingstrictness analysis
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polymorphic type, region and effect inference
- Title not available (Why is that?)
- Title not available (Why is that?)
- A linear logical framework
- Needed reduction and spine strategies for the lambda calculus
- Strictness and totality analysis
- Title not available (Why is that?)
- Safety of Nöcker's strictness analysis
- Proof Tool Support for Explicit Strictness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A generic usage analysis with subeffect qualifiers
- Title not available (Why is that?)
- Strictness, totality, and non-standard-type inference
- Making ``stricterness more relevant
- Refined typing to localize the impact of forced strictness on free theorems
Cited In (8)
- Untyped strictness analysis
- Proof Tool Support for Explicit Strictness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Making ``stricterness more relevant
- Refined typing to localize the impact of forced strictness on free theorems
- Derivation and inference of higher-order strictness types
- Modular, higher order cardinality analysis in theory and practice
Uses Software
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)
