- Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis Chris Hankin Daniel Le Métayer Sun 30 April 2017
- Finding Fixpoints on Function Spaces Jonathan Joung Paul Hudak Wed 19 March 2014
- Strictness Analysis - a Practical Approach Chris Clack Simon L. Peyton Jones Wed 19 March 2014
- Strictness analysis for higher-order functions Geoffrey L. Burn Chris Hankin Samson Abramsky Wed 19 March 2014
- The Theory and Practice of Transforming Call-by-need into Call-by-value Alan Mycroft Tue 09 July 2013
- CPS-transformation after strictness analysis Olivier Danvy John Hatcliff Wed 26 June 2013
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
