Gerard Huet

• Sanskrit Computational Linguistics
• Logical foundations of functional programming