scientific article; zbMATH DE number 3907749
From MaRDI portal
Publication:3685169
Recommendations
Cited in
(20)- Strictness analysis for higher-order functions
- Parameter-reduction of higher level grammars
- Strictness analysis of the untyped \(\lambda\)-calculus
- Head-strictness is not a monotonic abstract property
- Type inference, abstract interpretation and strictness analysis
- Non-strict execution in parallel and distributed computing
- Lenient evaluation is neither strict nor lazy
- scientific article; zbMATH DE number 4016173 (Why is no real title available?)
- scientific article; zbMATH DE number 3960961 (Why is no real title available?)
- scientific article; zbMATH DE number 3982495 (Why is no real title available?)
- scientific article; zbMATH DE number 4106302 (Why is no real title available?)
- scientific article; zbMATH DE number 41885 (Why is no real title available?)
- On the power and limitations of strictness analysis
- scientific article; zbMATH DE number 1487944 (Why is no real title available?)
- scientific article; zbMATH DE number 3995026 (Why is no real title available?)
- Constructed product result analysis for Haskell
- Time stamps for fixed-point approximation
- Projections for polymorphic strictness analysis
- Profiling for laziness
- Inverse image analysis generalises strictness analysis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3685169)
