Le tecniche e i principi dello sviluppo di software, come ad esempio analisi, algoritmi, codifiche, test e compilazione di paradigmi di programmazione in Haskell.