Philip K. F. Hölzenspies
Proceedings of the Second International Workshop on Trends in Functional Programming in Education
TFPIE, 2013.

@proceedings{TFPIE-2013,
	address       = "Provo, Utah, USA",
	doi           = "10.4204/EPTCS.136",
	editor        = "Philip K. F. Hölzenspies",
	series        = "{EPTCS}",
	title         = "{Proceedings of the Second International Workshop on Trends in Functional Programming in Education}",
	volume        = 136,
	year          = 2013,
}

Contents (2 items)

TFPIE-2013-Tobin-HochstadtH

From Principles to Practice with Class in the First Year (STH, DVH), pp. 1–15.

TFPIE-2013-Caldwell #functional #induction

Structural Induction Principles for Functional Programmers (JC), pp. 16–26.