By: Philip Wadler  

Tags: Functional programming   Agda  

Read online