Functioneel Programmeren met Helium

Moderne functionele talen zijn mathematisch precies, notationeel elegant, en sterk getypeerd. Deze talen zijn daarom bij uitstek geschikt voor het onderwijzen van programmeerconcepten en algoritmiek. Helium is een onderzoeksproject waarbij een krachtig typesysteem gecombineerd wordt met precieze en gebruiksvriendelijke foutmeldingen

helium-nioc.pdf
PDF file

In  NIOC'2004

Details

TypeInproceedings
Pages73–82
> Publications > Functioneel Programmeren met Helium