McBride, Conor "The Epigram Prototype: a nod and two winks" April 23, 2005
(2005)
Languages mentioned
Epigram
{1999} dependently typed functional programming language