External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 21, Issue 3

    0 -- 0Robert Glück. An investigation of Jones optimality and BTI-universal specializers
    237 -- 238Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann. Editorial
    239 -- 282Christian Skalka. Types and trace effects for object orientation
    283 -- 309Robert Glück. An investigation of Jones optimality and BTI-universal specializers
    311 -- 331Christian H. Bischof, Paul D. Hovland, Boyana Norris. On the implementation of automatic differentiation tools
    333 -- 358Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan. Flattening tuples in an SSA intermediate representation
    runs on