Composing contracts: an adventure in financial engineering - Functional Pearl (2000)

by Simon Peyton Jones , Jean-marc Eber , Julian Seward
Citations:27 - 0 self