Teaching types with a cognitively effective worked example format

DOI10.1017/S0956796814000021zbMath1420.68047WikidataQ110233797 ScholiaQ110233797MaRDI QIDQ5371940

Ville Tirronen, Ville Isomöttönen

Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theoretical computer science (educational aspects) (97P20)

Related Items (1)

Understanding beginners' mistakes with Haskell

Uses Software

• Haskell

Cites Work

• EWD1300: The notational conventions I adopted, and why
• Compositional explanation of types and algorithmic debugging of type errors
• Unnamed Item

This page was built for publication: Teaching types with a cognitively effective worked example format