Programming with Nested Types (2007)

by P Johann, N Ghani