Projections for polymorphic strictness analysis

DOI10.1007/BFb0018346zbMath1493.68110MaRDI QIDQ5096253

No author found.

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Projection Factorisations in Partial Evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item