John Launchbury,Ricardo Rocha

• Practical Aspects of Declarative Languages