A critique of Abelson and Sussman or why calculating is better than scheming

M-LISP: its natural semantics and equational logic

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

M-LISP: a representation-independent dialect of LISP with reduction semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)

The risks and benefits of teaching purely functional programming in first year

Journal of Functional Programming

DrScheme: a programming environment for Scheme

Journal of Functional Programming

The structure and interpretation of the computer science curriculum

Journal of Functional Programming

Design of a simple functional programming language and environment for CS2

Journal of Computing Sciences in Colleges

Unfolding Abstract Datatypes

MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction

Book review: essentials of programming languages (third edition) by friedmandaniel p. and wandmitchell, mit press, isbn 978-0-262-06279-4, 2008.

Journal of Functional Programming

Experience report: growing programming languages for beginning students

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Gradual refinement: blending pattern matching with data abstraction

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction

Just do it: simple monadic equational reasoning

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Refactoring pattern matching

Science of Computer Programming