External Links

    Journal: Journal of Functional Programming

    Volume 21, Issue 3

    219 -- 234Ralf Hinze. Typed quote/antiquote or: Compile-time parsing
    235 -- 286Andrew M. Pitts. Structural recursion with locally scoped names
    287 -- 307Yoichi Hirai, Kazuhiko Yamamoto. Balancing weight-balanced trees
    309 -- 329Barney Stratford. A combinator library for the design of railway track layouts
    runs on