NLCP: Towards a Compiler for Natural Language
Idris, a general-purpose dependently typed programming language: Design and implementation