Tangible functional programming

Conal M. Elliott
2007 SIGPLAN notices  
doi:10.1145/1291220.1291163 fatcat:ofudphh73nc4plywvs3hldh4oi