External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 23, Issue 3

    273 -- 274John P. Gallagher, Janis Voigtländer. Editorial
    275 -- 313Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.. Context-sensitive analysis without calling-context
    315 -- 335Stefan Holdermans, Jurriaan Hage. Making "stricterness" more relevant
    337 -- 370Fritz Henglein, Ken Friis Larsen. Generic multiset programming with discrimination-based joins and symbolic Cartesian products
    371 -- 407Johannes Rudolph, Peter Thiemann. Mnemonics: type-safe bytecode generation at run time
    runs on