Sloth – A Tool for Checking Minimal-Strictness

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-18378-2_14 ◽

2011 ◽

pp. 160-174

Author(s):

Jan Christiansen

Download Full-text