thesis
—
power
—
haskell
—
theoretician
—
email
EGNPH
2005
,
2006
,
2007