Geoffrey Burn

• Lazy functional languages
• Theory and Formal Methods
• Theory and Formal Methods 1993
• Liberating the Will of Australia