Witnessing Purity, Constancy and Mutability

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10672-9_9 ◽

2009 ◽

pp. 95-110 ◽

Author(s):

Ben Lippmeier

Download Full-text