Examples of Open Recursion

15-312 Foundations of Programming Languages
Frank Pfenning, Fall 02

self.sml --- pseude-code examples from "Types and Programming Languages"
inheritance.java --- code from "Effective Java"

"Types and Programming Languages", Benjamin C. Pierce,
The MIT Press, 2002, Chapter 18.

"Effective Java", Joshua Bloch,
Addison-Wesley, 2001, Item 14.